No TPTP formula. May not be expressible in strict first order.	Cars.kif 3511-3524	If a physical is an instance of protective eyewear, then the physical has the purpose there exist the physicalRSON, another entity,, , a third entity and a fourth entity such that the physicalRSON is an instance of animal and the other entity is an instance of face and the third entity is an instance of eye and the third entity is a proper part of the other entity and the other entity is a proper part of the physicalRSON and the physicalRSON wears the physical and the fourth entity is an instance of covering and the physical is an agent of the fourth entity and the other entity is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15762-15767	If an object is an instance of room, then there exists another object such that the other object is an instance of building and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4779-4781	If an object is an instance of sea, then the object is a proper part of world ocean
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6096-6102	If an object is an instance of continental shelf, then there exists another object such that the other object is an instance of continental margin and the object is a proper part of the other object and the object and the other object overlapsSpatially
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14258-14263	If an object is an instance of county, then there exists another object such that the other object is an instance of state or province and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14237-14242	If an object is an instance of state or province, then there exists another object such that the other object is an instance of nation and the object is a proper part of the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11691-11701	If an object is an instance of exoskeleton, then there exists another object such that the other object is an instance of animal and the object is a part of the other object and there doesn't exist a third object such that the third object is a proper part of the other object and the third object is outside to the object

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners