No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1472-1492	If a physical is an instance of shield, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of protecting and the physical is an instrument for the entity and the other entity is an instance of human and the other entity is a patient of the entity and the entity prevents the occurrence of the class described by the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4528-4543	If a physical is an instance of sieve, then the physical has the purpose there exist an entity, another entity,, , the physicalUB,, , a fourth entity and a fifth entity such that the entity is an instance of removing and the other entity is an instance of mixture and the physicalUB is an instance of substance and the physicalUB is a part of the other entity and the physicalUB is a patient of the entity and the fourth entity is a part of the physical and the fourth entity is an instrument for the entity and the fifth entity is an instance of human and the fifth entity is an agent of the entity and the fifth entity doesn't desire the physicalUB
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3754-3767	If a physical is an instance of sofa, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is not equal to the other entity and the entity is an instance of human and the other entity is an instance of human and sitting is an attribute of the entity and sitting is an attribute of the other entity and the entity is located at the physical and the other entity is located at the physical holds during the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5037-5048	If a physical is an instance of vehicle seat, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of human and the third entity is an instance of vehicle and sitting is an attribute of the entity and the entity is located at the physical and the physical is located at the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4326-4337	If an object is an instance of saddle, then there exists a symbolic string such that the object is capable of doing the class described by the symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3720-3727	If a physical is an instance of seat, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity is located at the physical and sitting is an attribute of the entity
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2311-2313	If a transportation device is an instance of passenger ship, then human is a cargo type of the transportation device
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2148-2153	If an object is an instance of web store, then there exists an agent such that the agent is an instance of human and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3566-3590	If a physical is an instance of safety vest, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of animal and the other entity is an instance of human and the entity wears the physical increases likelihood of there exists a third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity and there exists the third entity such that the third entity is an instance of seeing and the entity is a patient of the third entity and the other entity experiences the third entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of injuring and the other entity is an agent of the fourth entity and the entity is a patient of the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10973-10979	If an object is an instance of tail, then there exists another object such that the other object is an instance of vertebrate and the object is a part of the other object and the other object is not an instance of human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1050-1066	If a physical is an instance of tranexamic acid, then the physical has the purpose there exists an entity such that the entity is an instance of human and there exists another entity such that the other entity is an instance of ingesting and the object transferred in the other entity is the physical and the other entity ends up at the entity decreases likelihood of there exist the entity and a third entity such that the entity is an instance of human and the third entity is an instance of bleeding and the third entity originates at the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2618-2628	If a collection is an instance of cross-functional team, then there exists an entity such that the entity is an instance of entity and for all a cognitive agent if the cognitive agent is an instance of human and the cognitive agent is a member of the collection, then the cognitive agent is interested in the entity
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2630-2643	If a collection is an instance of cross-functional team, then there exist a kind of process, an agent,, , another agent and an entity such that a kind of process is a subclass of process and the agent is an instance of human and the other agent is an instance of human and the agent is a member of the collection and the other agent is a member of the collection and the agent has the skill to do the kind of process and the other agent does not have the skill to do the kind of process and the entity is an instance of the kind of process and the collection is interested in the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 240-248	If a physical is an instance of birth certificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of birth and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 270-278	If a physical is an instance of DeathCertificate, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of death and the other entity is an instance of human and the other entity experiences the entity and the physical expresses the entity
No TPTP formula. May not be expressible in strict first order.	Biography.kif 319-335	If an entity is an instance of MarriageCertificate, then there exist a process, another process,, , an agent and another agent such that the process is an instance of signing an agreement and the entity is a patient of the process and the other process is an instance of wedding and the entity expresses the other process and the process is a subprocess of the other process and the agent is a patient of the other process and the agent is an instance of human and the other agent is a patient of the other process and the other agent is an instance of human and the agent is not equal to the other agent and the agent is an agent of the process and the other agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25794-25802	If a physical is an instance of running track, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of human and the entity is an instance of running and the other entity is an agent of the entity and the physical is path along which the entity occurs
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	If an entity is an instance of tap water, then the statement the entity is an instance of food for human has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1959-1972	If a physical is an instance of vending machine, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of vending and the entity is an instance of human and the other entity is an instance of object and the object transferred in the third entity is the other entity and the physical is an instrument for the third entity and the third entity originates at the physical and the other entity is not an instance of currency and the third entity ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15914-15920	If a physical is an instance of wearable item, then the physical has the purpose there exists an entity such that the entity is an instance of human and the entity wears the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3640-3664	If a physical is an instance of airbag, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the entity is an instance of automobile and the physical is a part of the entity and the other entity is an instance of human and the entity contains the other entity and the third entity is an instance of impacting and the entity is a patient of the third entity and the fourth entity is an instance of inflating and the physical is a patient of the fourth entity and the third entity causes the fourth entity and the fourth entity hinders the class described by the fifth entity
No TPTP formula. May not be expressible in strict first order.	Communications.kif 258-284	If an engineering component is an instance of baby monitor, then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and the fourth entity is not equal to the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	If a collection is an instance of buffet, then for all a physical if the physical is a member of the collection, then the physical is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27066-27077	If an entity is an instance of direct dial telephone communication, then there doesn't exist a physical such that the physical is an instance of human and the physical has the purpose there exists another entity such that the physical is an agent of the other entity and the other entity is a subprocess of the entity and the other entity is an instance of telephone communication
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3847-3860	If an entity is an instance of full-sized bed, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is not equal to the third entity and the other entity is an instance of human and the third entity is an instance of human and asleep is an attribute of the other entity and asleep is an attribute of the third entity and the other entity is located at the entity and the third entity is located at the entity holds during the fourth entity has the modal force of possibility
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