No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	If a transfer is an instance of vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3710-3751	If an object is an instance of car alarm and another object is an instance of self powered road vehicle and the object is a part of the other object, then there exist an entity, another entity,, , a third entity and a fourth entity such that the object has the purpose if the entity is an instance of stealing or the entity is an instance of damaging and the other entity is an instance of human and the other entity is an agent of the entity and the other object is a patient of the entity and the time of existence of the entity is equal to the third entity and the entity is partly located at the fourth entity, then there exists a fifth entity such that the fifth entity is an instance of radiating sound and the object is an agent of the fifth entity and the entity causes the fifth entity and the fifth entity has the purpose there exists a sixth entity such that the sixth entity is an instance of human and the sixth entity is near to the fourth entity holds during the third entity increases likelihood of the sixth entity knows there exists a seventh entity such that the seventh entity is an instance of stealing or the seventh entity is an instance of damaging and the seventh entity is partly located at the fourth entity and the other object is a patient of the seventh entity holds during the third entity or the time of existence of the fifth entity finishes the time of existence of the entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 244-253	If an object is an instance of content bearing object and braille is an attribute of the object, then there exists another object such that the other object is an instance of human and blind is an attribute of the other object and the other object is capable of doing interpreting as a agent and the object is capable of doing interpreting as a patient
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3531-3552	If a wearable item is an instance of respirator and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the third entity is an instance of process and the wearable item is an instrument for the third entity and the third entity prevents the occurrence of the other entity and the other entity is a subclass of the class described by the fourth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25333-25346	If an object is an instance of whirlpool tub and double size is an attribute of the object, then the statement there exists an entity such that there exist another entity and a third entity such that the other entity is an instance of human and the third entity is an instance of human and the other entity is not equal to the third entity and the other entity is located at the object and the third entity is located at the object holds during the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2864-2873	If a hotel reservation may have an integer occupants and an agent fulfills the hotel reservation, then there exists a collection such that the collection is an instance of group of people and human is a member type of the collection and the integer is a member count of the collection and the collection is a potential customer for the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22753-22761	If an organization is subordinate position a position for another position and a human holds the position of the position in the organization, then there exists another human such that the other human is an instance of human and the other human holds the position of the other position in the organization and the organization is subordinate in organization the human for the other human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 954-967	If a person in an object can see a kind of physical and the object is an instance of room and another object is an instance of a kind of physical and the other object is outside to the object, then the statement there exist an entity and another entity such that the entity is an instance of human and the entity is located at the object and the other entity is an instance of seeing and the other object is a patient of the other entity and the entity is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23488-23492	If an agent is placed under arrest during a placing under arrest, then the agent is an instance of human or the agent is an instance of group of people
No TPTP formula. May not be expressible in strict first order.	Sports.kif 524-533	If coach is an attribute of an agent, then there exist an entity, another entity and a process such that the entity is an instance of human and the other entity is an instance of game and the process is an instance of educational process and the agent is an agent of the process and the entity is a patient of the process and the process includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	If barber shops is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of hair and the entity is a part of the other entity and the other entity is an instance of human and the third entity is an instance of cutting and the entity is a patient of the third entity and the third entity is located at the object and the fourth entity is an agent of the third entity and the object employs the fourth entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1224-1236	If executive level is an attribute of an object, then for all a physical if the physical is an instance of hotel room and the physical is located at the object, then the physical has the purpose there exists an entity such that business executive is an attribute of the entity and the entity is an instance of human and the entity stays at the physical
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1042-1050	If female executive room is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of human and female is an attribute of the entity and business executive is an attribute of the entity and the entity stays at the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26182-26189	If handicapped friendly is an attribute of an object, then there exist an attribute and a cognitive agent such that the attribute is an instance of disability and the cognitive agent is an instance of human and the attribute is an attribute of the cognitive agent and the cognitive agent is interested in the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25744-25746	If multilingual is an attribute of an object, then the object is an instance of human
No TPTP formula. May not be expressible in strict first order.	naics.kif 11668-11676	If snack and nonalcoholic beverage bars is an attribute of an object, then the object has the purpose there exist an entity and another entity such that the other entity is an instance of food for human and the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20597-20599	If waiter is an attribute of an object, then the object is an instance of human
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5897-5912	If a human has a volume measure of blood, then there exists a substance such that the substance is an instance of blood and the human contains the substance and the human is an instance of human and the measure of the substance is the volume measure and there doesn't exist the substance2 such that the substance2 is an instance of blood and the human contains the substance2 and the substance2 is not a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Government.kif 1753-1758	If a social role is an election for position of an election, then there exists an agent such that the agent is an instance of human and the election candidate for position the social role for the agent
No TPTP formula. May not be expressible in strict first order.	emotion.kif 865-877	If interpersonal disgust is an attribute of an entity holds during a time position, then there exist another entity and a third entity such that the other entity is an instance of perception and the third entity is a patient of the other entity and the entity experiences the other entity and the third entity is an instance of human and the time of existence of the other entity takes place during the time position causes interpersonal disgust is an attribute of the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	emotion.kif 852-863	If interpersonal disgust is an attribute of an agent holds during a time interval, then there exist a process and an entity such that the process is an instance of perception and the entity is a patient of the process and the agent experiences the process and the entity is an instance of human and the entity is not equal to the agent and the time of existence of the process takes place during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30707-30727	If safety position is an attribute of an entity holds during a time position, then the entity has the purpose there exist another entity, a third entity,, , a fourth entity and the time position2 such that the third entity is an instance of human and the other entity is an instance of process and the third entity is a patient of the other entity and the entity is an agent of the other entity and the other entity prevents the occurrence of the class described by the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 176-183	If human slave is an attribute of an entity holds during a time position, then there exists another entity such that the other entity is an instance of human and the other entity is not equal to the entity and the other entity possesses the entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 20-39	If tourniquet is an attribute of an object holds during the objectIME, then there exist an agent, a process and a transfer such that the agent is an instance of human and the process is an instance of bleeding and the transfer is an instance of attaching and the agent experiences the process and the transfer ends up at the agent and the object transferred in the transfer is the object and the object has the purpose there doesn't exist the process2 such that the process2 is an instance of bleeding and immediately after the time of existence of the transfer overlaps the time of existence of the process2 and the agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1906-1921	If a physical is an instance of ambulance, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of human and disease or syndrome is an attribute of the entity or there exist a third entity and a fourth entity such that the third entity is an instance of injuring and the fourth entity experiences the third entity and the third entity happens before the other entity and the other entity is an instance of transportation and the physical is an instrument for the other entity and the fourth entity is a patient of the other 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