No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16561-16575	If an object is an instance of passport and an agent possesses the object, then the object confers norm there exist an entity, another entity and a third entity such that the entity is an instance of translocation and the agent is an agent of the entity and the entity originates at the other entity and the entity ends up at the third entity and the other entity is an instance of nation and the third entity is an instance of nation and the other entity is not equal to the third entity for permission
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1097-1104	If an object is an instance of ship registration and an agent is an instance of ship and the agent possesses the object and a geopolitical area is an instance of geopolitical area and the geopolitical area is a flag state of the agent, then the ship register of the geopolitical area subsumes the content of the object
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and the cognitive agent is not equal to the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds during the time of existence of the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	naics.kif 11456-11468	If an agent is an instance of ticket and the agent possesses an object and a cognitive agent is an issued by of the agent and amusement gambling and recreation industries is an attribute of the cognitive agent and the cognitive agent is located at another object, then the cognitive agent confers norm there exists an entity such that the entity is an instance of recreation or exercise and the object experiences the entity and the entity is located at the other object for permission
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4265-4270	If a time position is an instance of time position and an entity possesses another entity holds during the time position and a third entity possesses the other entity holds during the time position, then the entity is equal to the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6921-6927	If a permanent residence is an instance of single family residence and the home of a human is the permanent residence and the human possesses the permanent residence and the permanent residence is not an instance of building, then the permanent residence is an instance of condominium unit
No TPTP formula. May not be expressible in strict first order.	WMD.kif 51-55	If an object is an instance of biochemical weapon and an agent possesses the object, then the agent is capable of doing biochemical attack as a agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16542-16554	If a cognitive agent is an issued by of a certificate and the certificate is an instance of ticket and an agent possesses the certificate, then the cognitive agent confers norm there exists an entity such that there exists another entity such that the other entity is an instance of process and the cognitive agent is an agent of the other entity and the agent experiences the other entity holds during the entity for permission
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 871-897	If renters of a kind of hotel function room can pay to use a kind of physical and an entity is an instance of a kind of hotel function room and the entity is an element of belongings of an agent and a process is an instance of renting and the entity is a patient of the process and the process ends up at a cognitive agent and an object is an instance of a kind of physical and the agent possesses the object and the agent is a customer of the cognitive agent and the object is an instance of process and the cognitive agent is an agent of the object or the cognitive agent experiences the object or the agent possesses the object and the object is an instance of object and the cognitive agent uses the object, then there exist a real number and an unit of measure such that the object is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 569-589	If renters of an agent can pay to use a kind of physical and a process is an instance of a kind of physical and the agent is a customer of a cognitive agent and the process is an instance of process and the cognitive agent is an agent of the process or the cognitive agent experiences the process or the agent possesses the process and the process is an instance of object and the cognitive agent uses the process, then there exist a real number and an unit of measure such that the process is price the real number the unit of measure(s) for the agent and the unit of measure is an instance of unit of currency and the real number is greater than 0
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2229-2239	If an agent possesses an object and the measure of the object is a real number share unit(s) and a stock split is split for an integer for another integer, then an entity is equal to the real number and the other integer and another entity is equal to the entity and the integer and the measure of the object is the other entity share unit(s) holds during immediately after the time of existence of the stock split
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.	FinancialOntology.kif 3490-3495	If a risk attribute is a risk tolerance of an agent and an object is an instance of investment and the agent possesses the object, then the risk level of the object is the risk attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4285-4288	If an agent possesses an object, then the object is an element of belongings of the agent
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4253-4255	If an agent possesses an object, then the statement the agent uses the object has the modal force of permission

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