No TPTP formula. May not be expressible in strict first order.	Military.kif 759-769	If a process is an instance of pulling and an agent is an agent of the process and the processULLED is a patient of the process and the process ends up at another entity, then the distance between the agent and the other entity is a third entity and the distance between the processULLED and the other entity is a fourth entity and the fourth entity is greater than the third entity holds during the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17638-17656	If a time interval is an instance of pulling and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 872-880	If a process is an instance of punishing and a cognitive agent is an agent of the process and an entity is a patient of the process and the process ends up at another entity, then the cognitive agent knows the other entity doesn't desire the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17616-17634	If a time interval is an instance of pushing and the time interval originates at an object and an agent is an agent of the time interval and the agent is located at the agentLOC holds during the beginning of the time interval and the time interval ends up at another entity, then there exist a third entity, a fourth entity and a fifth entity such that the distance between the agentLOC and the other entity is the fifth entity the fourth entity(s) and the distance between the agentLOC and the object is the third entity the fourth entity(s) and the third entity is greater than the fifth entity holds during immediately after the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	If a process is an instance of putting and an entity is a patient of the process and the entity is an instance of spice and the process ends up at an object and the object is an instance of prepared food, then there exist another process and an attribute such that the other process is an instance of internal change and the object is a patient of the other process and the attribute is a result of the other process and the attribute is an attribute of the object and the attribute is an instance of flavour attribute or the attribute is an instance of color attribute
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13257-13262	If a process is an instance of naming and an entity is a patient of the process and the process ends up at another entity, then the entity has name the other entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11405-11412	If a process is an instance of putting and the process ends up at an entity and another entity is a patient of the process, then the other entity is not located at the entity holds during the beginning of the time of existence of the process and the other entity is located at the entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Dining.kif 762-767	If a process is an instance of reserving and a cognitive agent is an agent of the process and the process ends up at an agent, then the cognitive agent is a potential customer for the agent
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1883-1900	If a process is an instance of repayment and the process_DESTINATION is an instance of object and the process ends up at the process_DESTINATION and the process_ORIGIN is an instance of object and the process originates at the process_ORIGIN, then there exist another process, the other process_ORIGIN and the other process_DESTINATION such that the other process is an instance of payment and the other process_ORIGIN is an instance of object and the other process_DESTINATION is an instance of object and the other process is not equal to the process and the other process ends up at the other process_DESTINATION and the other process originates at the other process_ORIGIN and the other process_ORIGIN is equal to the process_DESTINATION and the other process_DESTINATION is equal to the process_ORIGIN
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	If a process is an instance of view item request and another process is an instance of accessing web page and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11763-11773	If a process is an instance of giving back and an agent is an agent of the process and the process ends up at another agent, then there exists another process such that the other process is an instance of giving and the other agent is an agent of the other process and the other process ends up at the agent and the time of existence of the other process happens earlier than the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17266-17274	If a process is an instance of returning and an agent experiences the process and the process ends up at an entity, then there exists a time interval such that the time interval happens earlier than the time of existence of the process and the agent is located at the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16227-16239	If a process is an instance of legal summons and a content bearing physical is a patient of the process and the process ends up at an entity, then there exist another entity and a third entity such that the other entity is an instance of court room and the content bearing physical contains information the statement the entity is located at the other entity holds during the third entity has the modal force of law
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18701-18712	If a process is an instance of seizing property and the process ends up at an entity and the process originates at an object and the object is an instance of cognitive agent, then the entity is an instance of government and the object doesn't confers norm the process ends up at the entity for permission
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4187-4195	If a process is an instance of spamming and a collection is an instance of group of people and an integer is a member count of the collection and the process ends up at the collection, then the statement the integer is greater than 100 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4197-4208	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then there doesn't exist another process such that the other process is an instance of requesting and the processPAM is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4210-4220	If a process is an instance of spamming and the processPAM is a result of the process and the process is an instance of spam and another entity is an instance of human and the process ends up at the other entity, then the statement the other entity wants the processPAM doesn't have the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18564-18577	If a process is an instance of sharing and an agent is an agent of the process and the process ends up at an entity and an object is a patient of the process, then there exist another process and another object such that the other process is an instance of giving and the other process is a subprocess of the process and the other object is a patient of the other process and the other object is a proper part of the object and the agent is an agent of the other process and the other process ends up at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18586-18594	If a process is an instance of stealing and the process ends up at a cognitive agent and the process originates at an object and the object is an instance of cognitive agent, then the object doesn't allow the cognitive agent to perform task of the type the process ends up at the cognitive agent
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3590-3601	If a process is an instance of commercial service and a cognitive agent is an agent of the process and an agent employs the cognitive agent and the process ends up at an entity, then the process has the purpose there exists another entity such that the other entity is an instance of financial transaction and the other entity ends up at the agent and the other entity originates at the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13160-13164	If a process is an instance of thanking and the process ends up at an entity, then the entity is an instance of human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11305-11328	If a process is an instance of translocation and another process is an instance of translocation and the process originates at an object and the other process originates at another object and the process ends up at the other object and the other process ends up at an entity and an agent experiences the process and the agent experiences the other process, then there exists a third process such that the third process is an instance of translocation and the third process originates at the object and the third process ends up at the entity and the process is a subprocess of the third process and the other process is a subprocess of the third process and the agent experiences the third process and the time of existence of the process starts the time of existence of the third process and the time of existence of the other process finishes the time of existence of the third process
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 13148-13158	If a process is an instance of thanking and an agent is an agent of the process and an entity is a patient of the process and the process ends up at another entity, then the other entity is an instance of human and the agent wants the entity holds during the time of existence of the process or the agent desires the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	MilitaryPersons.kif 212-218	If a process is an instance of threatening and an entity is a patient of the process and the process ends up at a cognitive agent, then the cognitive agent believes dangerous is an attribute of 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