No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18291-18301	If a process is an instance of trespassing and an agent is an agent of the process and an object is a patient of the process, then the agent doesn't possess the object and the statement the agent is located at the object has the modal force of illegal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6871-6875	If a permanent residence is an instance of apartment unit and the home of a human is the permanent residence, then the human doesn't possess the permanent residence
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2138-2146	If a service is an instance of photocopying service and a cognitive agent provides a service during the service, then there exists an object such that the object is an instance of photocopier and the cognitive agent possesses the object and the object is an instrument for the service
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30956-30971	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of collection and a kind of object is a member type of the other entity and the quantity is a member count of the other entity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30898-30908	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of integer, then the cognitive agent desires there exists an entity such that the entity is an instance of collection and a kind of object is a member type of the entity and the quantity is a member count of the entity and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30923-30938	If there is a shortage of an integer of a kind of object for an agent at a currency measure during a time interval and the integer is an instance of integer, then there don't exist a transfer and a collection such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the collection and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the collection is an instance of collection and a kind of object is a member type of the collection and the integer is a member count of the collection and the agent possesses the collection
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30973-30987	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exist an entity and another entity such that the entity is an instance of buying and the time of existence of the entity takes place during the time interval and the object transferred in the entity is the other entity and the currency measure is a transaction amount of the entity and the cognitive agent is an agent of the entity and the other entity is an instance of a kind of object and the measure of the other entity is the quantity and the cognitive agent possesses the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30912-30921	If there is a shortage of a quantity of a kind of object for a cognitive agent at a currency measure during a time interval and the quantity is an instance of physical quantity, then the cognitive agent desires there exists an entity such that the entity is an instance of a kind of object and the measure of the entity is the quantity and the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30940-30954	If there is a shortage of a physical quantity of a kind of object for an agent at a currency measure during a time interval and the physical quantity is an instance of physical quantity, then there don't exist a transfer and another object such that the transfer is an instance of buying and the time of existence of the transfer takes place during the time interval and the object transferred in the transfer is the other object and the currency measure is a transaction amount of the transfer and the agent is an agent of the transfer and the other object is an instance of a kind of object and the measure of the other object is the physical quantity and the agent possesses the other object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 2777-2782	If a cognitive agent wants a physical and the physical is an instance of object, then the cognitive agent desires the cognitive agent possesses the physical
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1786-1791	If investor is an attribute of an agent, then there exists an object such that the object is an instance of investment and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	naics.kif 9711-9720	If passenger car rental is an attribute of an object, then the object has the purpose there exist an entity, another entity and a third entity such that the object is a customer of the third entity and the other entity is an instance of automobile and the entity is an instance of renting and the object possesses the other entity and the third entity is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3691-3711	If an agent is a day phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 6 and the real number is less than 18 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	Government.kif 469-471	If a geopolitical area is a dependent of another geopolitical area, then the other geopolitical area possesses the geopolitical area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7432-7434	If a cognitive agent dislikes an object, then the cognitive agent desires the cognitive agent doesn't possess the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4280-4283	If an object is an element of belongings of an agent, then the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3735-3755	If an agent is an evening phone of a symbolic string, then there exist a telephone, an entity and a real number such that the telephone is a phone number of the symbolic string and the real number is greater than 18 and the real number is less than 6 and there exists another entity such that the other entity is an instance of telephoning and the other entity ends up at the agent and the telephone is a patient of the other entity and the agent possesses the telephone and the statement there exists a third entity such that the third entity is an instance of answering and the third entity is a subprocess of the other entity and the agent is an agent of the third entity has the modal force of likely holds during the entity is an instance of the hour the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25142-25148	If an entity has number another entity and the entity is an instance of mobile cell phone and the mobile number of a third entity is the other entity holds during a time position, then the third entity possesses the 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.	Mid-level-ontology.kif 7453-7458	If an entity lacks another entity holds during a time position, then the entity doesn't possess the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 642-647	If an agent is an instance of assault amphibian unit, then there exists an object such that the object is an instance of Amphibious Assault Vehicle and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 494-499	If an agent is an instance of artillery battery, then there exists an object such that the object is an instance of artillery cannon and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Military.kif 676-685	If an agent is an instance of infantry unit, then there exists an object such that the object is an instance of automatic gun or the object is an instance of firearm or the object is an instance of mortar gun or the object is an instance of explosive mine and the agent possesses the object
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3323-3330	If an agent is an instance of Airline, then there exist a collection and a physical such that the collection is an instance of Fleet and the agent possesses the collection and the physical is an instance of aircraft and the physical is a member of the collection
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2471-2480	If a physical is an instance of cruise ship, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of recreation or exercise and the third entity possesses the physical and the other entity is an agent of the entity and the other entity is a customer of the third entity and the entity is located at the physical
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