No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26347-26353	If a corpuscular object is an instance of sail, then there exists an object such that the corpuscular object is made of fabric and the object is an instance of mast and the corpuscular object is connected to the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5653-5658	If an object is an instance of soldering iron, then there exists a corpuscular object such that the corpuscular object is a part of the object and the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5576-5578	If a corpuscular object is an instance of wood artifact, then the corpuscular object is made of wood
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3068-3070	If a corpuscular object is an instance of wire coil, then the corpuscular object is made of conductor substance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3612-3614	If a corpuscular object is an instance of wire, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4127-4129	If a corpuscular object is an instance of bed linen, then the corpuscular object is made of fabric
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9479-9481	If a corpuscular object is an instance of botanical tree, then the corpuscular object is made of wood
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25935-25937	If a corpuscular object is an instance of electrical plug, then the corpuscular object is made of metal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3958-3969	If a corpuscular object is an instance of hammock, then the corpuscular object is made of fabric and there exist an object, another object and a third object such that the object is near to the other object and the object is connected to the corpuscular object and the other object is connected to the corpuscular object and the third object is an instance of land area and the corpuscular object is located at the third object and the corpuscular object is above to the third object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3667-3673	If an object is an instance of seat belt, then there exists a corpuscular object such that the corpuscular object is a part of the object and pliable is an attribute of the corpuscular object and the corpuscular object is made of fabric
No TPTP formula. May not be expressible in strict first order.	Food.kif 3514-3516	If a corpuscular object is an instance of tofu, then the corpuscular object is made of soybean
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 263-265	If a kind of substance is an instance of sternum, then cartilage is made of a kind of substance

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