No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25500-25508	If a physical is an instance of air pump, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the other entity is an instance of air and the physical is an instrument for the entity and the other entity is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9696-9708	If a physical is an instance of anti-depressant, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and depressed is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9716-9728	If a physical is an instance of anti-psychotic, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of ingesting and the object transferred in the entity is the physical and the other entity is an agent of the physical and psychosis is not an attribute of the other entity holds during after the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14510-14516	If a physical is an instance of application, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of joining an organization or the other entity is an instance of unilateral giving
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 800-806	If a physical is an instance of amphibious reconnaissance unit, then the physical has the purpose there exists an entity such that the entity is an instance of amphibious reconnaissance and the physical is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2352-2386	If a physical is an instance of transmission, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity,, , a eighth entity,, , a ninth entity and a tenth entity such that the entity is an instance of crankshaft and the other entity is an instance of driveshaft and the third entity is an instance of automobile and the other entity is a part of the third entity and the physical is a part of the third entity and the entity is a part of the third entity and the entity is connected to the physical and the other entity is connected to the physical and the fourth entity is an instance of rotating and the sixth entity is an instance of rotating and the seventh entity is an instance of rotating and the eighth entity is an instance of rotating and the entity is a patient of the fourth entity and the entity is a patient of the sixth entity and the other entity is a patient of the seventh entity and the other entity is a patient of the eighth entity and the fourth entity causes the seventh entity and the sixth entity causes the eighth entity and the fourth entity is not equal to the sixth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the fourth entity and the measure of the entity is the rotation of the fifth entity during minute duration holds during the sixth entity and the measure of the other entity is the rotation of the ninth entity during minute duration holds during the seventh entity and the measure of the other entity is the rotation of the tenth entity during minute duration holds during the eighth entity and the ninth entity is not equal to the tenth entity
No TPTP formula. May not be expressible in strict first order.	WMD.kif 70-78	If a physical is an instance of biochemical attack, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of damaging and the other entity is a patient of the entity and the physical causes the entity and the other entity is an instance of organism
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4776-4786	If a physical is an instance of all-terrain vehicle, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the physical is on to the other entity holds during the time of existence of the entity and the other entity is not an instance of roadway
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7324-7330	If a physical is an instance of auditorium, then the physical has the purpose there exists an entity such that the entity is an instance of demonstrating and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15866-15874	If a physical is an instance of art work, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15876-15887	If a physical is an instance of art work, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity desires there exists another entity such that the other entity is an instance of perception and the entity experiences the other entity and the physical is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3601-3607	If a physical is an instance of balloon, then the physical has the purpose there exists an entity such that gas is an attribute of the entity and the physical contains the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14498-14504	If a physical is an instance of ballot, then the physical has the purpose there exists an entity such that the entity is an instance of voting and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5689-5697	If a physical is an instance of bandage, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of therapeutic process and the other entity is an instance of covering and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 613-619	If a physical is an instance of baseball base, then the physical has the purpose there exists an entity such that the entity is an instance of baseball and the physical is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Sports.kif 640-646	If a physical is an instance of baseball bat, then the physical has the purpose there exists an entity such that the entity is an instance of baseball hit and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2853-2861	If a physical is an instance of baton, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of musical performance and the other entity is an instance of guiding and the other entity is a subprocess of the entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4180-4188	If a physical is an instance of bolt, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of attaching and the other entity is an instance of nut and the physical is an instrument for the entity and the other entity is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Military.kif 177-185	If a physical is an instance of bomber, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of transportation and the physical is an instrument for the entity and the other entity is a patient of the entity and the other entity is an instance of explosive device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1126-1139	If an object is an instance of bowling ball, then there exists a collection such that the collection is an instance of collection and hole is a member type of the collection and 3 is a member count of the collection and the collection is located at the object and the collection has the purpose there exist an entity and another entity such that the other entity is a member of the collection and the entity is an instance of finger and the entity partially fills the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 544-550	If a physical is an instance of brake, then the physical has the purpose there exists an entity such that the entity is an instance of decelerating and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 607-615	If a physical is an instance of brake pad, then the physical has the purpose there exist an entity and the physicalR such that the entity is an instance of friction and the physical is a resource for the entity and the physicalR is an instance of brake rotor and the physicalR is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 629-637	If a physical is an instance of brake shoe, then the physical has the purpose there exist an entity and the physicalD such that the entity is an instance of friction and the physical is a resource for the entity and the physicalD is an instance of brake drum and the physicalD is a patient of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4757-4763	If a physical is an instance of brick, then the physical has the purpose there exists an entity such that the entity is an instance of constructing and the physical is a resource for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1912-1918	If a physical is an instance of broom, then the physical has the purpose there exists an entity such that the entity is an instance of sweeping and the physical is an instrument for the entity
Display limited to 25 items. Show next 25
Display limited to 25 items. Show next 25

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