No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 1708-1729	If the origin of a kind of muscle is a kind of body part and an object is an instance of human and standard anatomical position is an attribute of the object holds during a time interval and healthy is an attribute of the object and another time interval is an instance of muscular contraction and the time of existence of the other time interval takes place during the time interval and another object is an instance of a kind of muscle and the other object is a part of the object and the other object is an instrument for the other time interval and one end of the other object is a third object and the third object meets a fourth object and the third object is located at an entity holds during the beginning of the other time interval, then the third object is located at the entity holds during the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 396-417	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of object and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and an object is an instance of the kind of physical and the object is located at the temporary residence and a process is an instance of process and the human is an agent of the process and the process is located at the temporary residence or the object is a patient of the process or the object is an instrument for the process or the object is a resource for the process, then there exist the processRICE and an unit of measure such that the object is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Law.kif 573-588	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and legal is an attribute of the agreement, then the age of the cognitive agent is the real number2 year duration(s) and the real number2 is greater than the real number holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Law.kif 554-571	If an agreement is a party to agreement of a cognitive agent and a process is an instance of intentional process and the process is located at a geopolitical area and the geopolitical area is an instance of nation and the process is located at the geopolitical area2 and the geopolitical area2 is an instance of geopolitical area and a real number year duration(s) is the age of majority for the process in the geopolitical area and a content bearing physical is a result of the process and the content bearing physical is the record of the agreement and the age of the cognitive agent is an entity year duration(s) and the entity is greater than the real number holds during the time of existence of the process, then legal is an attribute of the agreement
No TPTP formula. May not be expressible in strict first order.	TransportDetail.kif 102-121	If a cognitive agent possesses an object and the cognitive agent is an instance of commercial agent and the object is an instance of parking lot and another object is an instance of building and the cognitive agent is located at the other object and an agent is a customer of the cognitive agent and the agent is located at the other object holds during a time position and a process is an instance of driving and an entity is a patient of the process and the agent is an agent of the process and the process ends up at the other object, then the cognitive agent allows the agent to perform task of the type another entity is an instance of keeping and the other entity ends up at the object and the entity is a patient of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2897-2904	If an animal wears a wearable item and the wearable item is located at an object and the wearable item is an instance of clock and the object is an instance of wrist and the object is a part of the animal, then the wearable item is an instance of watch clock
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1865-1877	If a cognitive agent is located at an entity and a time position the time positionU(s) is an air temperature of the entity and feeling hot is an attribute of the cognitive agent holds during the time position, then the cognitive agent desires the time position2 the time positionU(s) is an air temperature of the entity and the time position2 is greater than the time position holds during the time position
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1902-1914	If a cognitive agent is located at an entity and a time position the time positionU(s) is an air temperature of the entity and feeling hot is an attribute of the cognitive agent holds during the time position, then the cognitive agent desires the time position2 the time positionU(s) is an air temperature of the entity and the time position is greater than the time position2 holds during the time position
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3629-3642	If maximum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3657-3670	If maximum device storage temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is greater than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3682-3695	If minimum device operating temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device on is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3708-3721	If minimum device storagqqqe temperature of an entity is another entity a third entity(s) and the third entity is an instance of unit of temperature and the entity is located at a fourth entity and device off is an attribute of the entity and a fifth entity the third entity(s) is an air temperature of the fourth entity and the fifth entity is less than the other entity holds during a time position, then the statement device damaged is an attribute of the entity holds during immediately after the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 311-317	If civilian internee is an attribute of an entity and the entity is located at another entity holds during a time position, then war state is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 70-78	If displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is not partly located in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 92-99	If internally displaced person is an attribute of an entity and the entity lives in another entity and the other entity is located at the entityLACE and the entity is a citizen of an object holds during a time position, then the entityLACE is partly located in the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 274-280	If prisoner of war is an attribute of an entity and the entity is located at another entity holds during a time position, then war state is an attribute of the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25026-25033	If an entity has number another entity and the other entity is the home phone of a third entity and the entity is located at a fourth entity and the fourth entity is an instance of permanent residence holds during a time position, then the home of the third entity is the fourth entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4082-4087	If an object is located at another object, then for all a third object if the third object is a part of the object, then the third object is located at the other 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