Dear All,
I propose the following property for CRMSci:
O25 contains (is contained in)
Domain:S10 <#_S10_Material_Substantial>**Material Substantial
Range:S10 <#_S10_Material_Substantial>**Material Substantial
Superproperty of:E18 Physical Thing. P46 is composed of (forms part of):
E18 Physical Thing
Quantification:many to many (0,n:0,n)
Scope note:This property describes that an instance of S10 Material
Substantial was or is contained for some time in another instance of S10
Material Substantial regardless if the identity of the involved
instances is based on the persistence of the form of material or on
material substance changing form.
In First Order Logic:
O25(x,y) ⊃ E18(x)
O25(x,y) ⊃E18(y)
--
--------------------------------------------------------------
Dr. Martin Doerr | Vox:+30(2810)391625 |
Research Director | Fax:+30(2810)391638 |
| Email: mar...@ics.forth.gr |
|
Center for Cultural Informatics |
Information Systems Laboratory |
Institute of Computer Science |
Foundation for Research and Technology - Hellas (FORTH) |
|
N.Plastira 100, Vassilika Vouton, |
GR70013 Heraklion,Crete,Greece |
|
Web-site: http://www.ics.forth.gr/isl |
--------------------------------------------------------------