it looks very useful, but: “O25 contains (is contained in) [...] an instance of S10 Material Substantial was or is contained for some time in [...]”
Of course: 'X is contained in Y' means that X is contained in Y :-) Was the scope note proposed by M. de la Palisse? Apart from that, it’s a great idea. Franco Prof. Franco Niccolucci Director, VAST-LAB PIN - U. of Florence Scientific Coordinator ARIADNE - PARTHENOS Piazza Ciardi 25 59100 Prato, Italy > Il giorno 20 set 2017, alle ore 11:38, martin <[email protected]> ha > scritto: > > Dear All, > > > > I propose the following property for CRMSci: > > O25 contains (is contained in) > > > Domain: S10 Material Substantial > > Range: S10 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: > [email protected] > | > | > 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 > | > -------------------------------------------------------------- > > > _______________________________________________ > Crm-sig mailing list > [email protected] > http://lists.ics.forth.gr/mailman/listinfo/crm-sig
