No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7658-7664	If an agent is an instance of medical clinic, then there doesn't exist an object such that the agent possesses the object and the object is an instance of temporary residence
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7216-7224	If an object is an instance of partnership, then there exist an agent and another agent such that the agent is an instance of human and the other agent is an instance of human and the agent is not equal to the other agent and the agent possesses the object and the other agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7308-7318	If an object is an instance of proprietorship, then there exists an agent such that the agent is an instance of human and the agent possesses the object and there doesn't exist the agent2 such that the agent is not equal to the agent2 and the agent2 possesses the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 240-255	If a process is an instance of final fee, then there exist a web listing, a financial transaction,, , an agent,, , an entity and a web site such that the web listing is an instance of web listing and the financial transaction is an instance of selling and the agent is an instance of agent and the entity is an instance of physical and the web listing is an instance of web listing and the entity is a patient of the web listing and the entity is a patient of the financial transaction and the financial transaction causes the process and the agent is an agent of the process and the web listing is hosted on the web site and the agent possesses the web site and the agent facilitates the financial transaction
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 209-218	If a process is an instance of insertion fee, then there exist a web site, an agent and a web listing such that the web site is an instance of web site and the agent is an instance of agent and the web listing is an instance of web listing and the web listing is hosted on the web site and the agent possesses the web site and the agent is an agent of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6984-6989	If an object is an instance of dormitory, then there exists an agent such that the agent is an instance of school and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8199-8204	If an object is an instance of public garden, then there exists the objectOV such that the objectOV is an instance of government and the objectOV possesses the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1771-1776	If an object is an instance of investment, then there exist a process and an agent such that the agent is an agent of the process and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8467-8474	If an agent is an instance of library, then there exist an object and a physical such that the agent possesses the object and the object is an instance of library building and the physical is an instance of text and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 532-537	If an agent is an instance of LAR unit, then there exists an object such that the object is an instance of LAV and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 266-286	If a time interval is an instance of list on site, then there exist an object, an entity,, , another time interval,, , a third time interval and an agent such that the object is an instance of web site and the entity is an instance of web listing and the other time interval is an instance of time interval and the third time interval is an instance of time interval and the entity is a patient of the time interval and the end of the other time interval is equal to the end of the time interval and the time interval happens earlier than the third time interval and the time interval meets the third time interval and not the entity is hosted on the object holds during the other time interval and the entity is hosted on the object holds during the third time interval and the agent is an agent of the time interval and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8499-8506	If an agent is an instance of art museum, then there exist an object and a physical such that the agent possesses the object and the object is an instance of building and the physical is an instance of art work and the physical is located at the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1113-1119	If a merchant marine is an instance of the merchant marine of a geopolitical area, then there exists a ship register such that the ship register is an instance of ship register and the geopolitical area possesses the ship register and the ship register is a marine inventory of the merchant marine
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 603-608	If an agent is an instance of anti armor platoon, then there exists an object such that the object is an instance of anti armor weapon and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 619-624	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of heavy machine gun and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 628-633	If an agent is an instance of heavyMG platoon, then there exists an object such that the object is an instance of Mk19 and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 556-561	If an agent is an instance of mortar platoon, then there exists an object such that the object is an instance of mortar gun and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Military.kif 197-202	If an object is an instance of military vehicle, then an agent is an instance of military force and the agent possesses the object and the object is capable of doing military process as a patient
No TPTP formula. May not be expressible in strict first order.	Communications.kif 369-377	If a collection is an instance of broadcast network, then there exists an agent such that the agent is an instance of organization and for all an object if the object is a member of the collection, then the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8128-8133	If an object is an instance of public park, then there exists an agent such that the agent is an instance of government and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7297-7302	If an agent is an instance of restaurant, then there exists an object such that the agent possesses the object and the object is an instance of dining area
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.	Hotel.kif 2262-2273	If a service is an instance of safety deposit box, then there exist an object, a process,, , another object and a cognitive agent such that the cognitive agent provides a service during the service and the object is an instance of safe container and the process is an instance of keeping and the process is located at the object and the cognitive agent possesses the object and the other object is a patient of the process and the process is a subprocess of the service and the cognitive agent doesn't possess the other object
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2035-2053	If a process is an instance of shuttle, then there exist a list, an object and an agent such that the agent is an agent of the process and the agent possesses the object and the object is an instance of automobile and the list is an instance of list and for all an entity if the entity is a member of the list, then the entity is an instance of postal place and there exists another process such that the other process is an instance of transportation and the agent is an agent of the other process and the object is an instrument for the other process and the other process ends up at 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