No TPTP formula. May not be expressible in strict first order.	Weather.kif 1575-1588	If a process is an instance of heavy zone and an object is an instance of water area and the process is located at the object, then there exist another process and an agent such that the other process is an instance of swimming and the agent is an instance of human and the agent is an agent of the other process and the other process is located at the object and the process is hazardous to the agent holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3628-3644	If a transfer is an instance of injecting and an object is an instance of adalimumab and the object transferred in the transfer is the object and the transfer is located at another object and the other object is an instance of body part and the transfer ends up at an entity, then the statement there exists another entity such that pain in the the other object is an attribute of the entity holds during the other entity and the other entity takes place during after the time of existence of the transfer has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 104-111	If a process is an instance of injuring and an agent experiences the process, then injury is an attribute of the agent 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 16446-16458	If a process is an instance of insomnia and a cognitive agent experiences the process, then there exist another process, a time duration and the time duration2 such that the other process is an instance of sleeping and the cognitive agent experiences the other process and duration of the time of existence of the other process is the time duration and the cognitive agent desires duration of the time of existence of the other process is the time duration2 and the time duration2 is greater than the time duration
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5724-5735	If a process is an instance of pruritus and the process is located at an object and the object is a part of a cognitive agent and the cognitive agent experiences the process, then the cognitive agent desires there exists an entity such that the entity is an instance of scratching and the time of existence of the entity takes place during the time of existence of the process and the entity is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11561-11569	If a process is an instance of impacting and an entity is a patient of the process, then there exists another process such that the other process is an instance of impelling and the entity is a patient of the other process 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 18620-18638	If a process is an instance of inheriting and a cognitive agent is an agent of the process and the process originates at an agent and an entity is a patient of the process, then there exists another process such that the other process is an instance of death and the agent experiences the other process and the time of existence of the other process happens earlier than the time of existence of the process and the agent possesses the entity holds during immediately before the time of existence of the other process and the agent allows the cognitive agent to perform task of the type the cognitive agent possesses the entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11446-11453	If a process is an instance of inserting and an entity is a patient of the process and the process ends up at another entity, then the other entity doesn't contain the entity holds during the beginning of the time of existence of the process and the other entity contains 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.	Mid-level-ontology.kif 17896-17901	If a process is an instance of installing and a physical is a patient of the process and the physical has the purpose a formula, then the formula is true holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10885-10892	If a process is an instance of interpreting and an agent is an agent of the process and an entity is a patient of the process and the entity is an instance of content bearing object, then there exists another entity such that the agent believes the entity contains information the other entity holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12956-12961	If a process is an instance of investigating and an agent is an agent of the process and an entity is a patient of the process, then the agent doesn't know the entity holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5711-5718	If a process is an instance of irrigating and an entity is a patient of the process and the entity is an instance of land area, then dry is an attribute of the entity holds during immediately before the time of existence of the process and damp is an attribute of the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4105-4117	If an object is an instance of InvasiveVentilator and a process is an instance of breathing and an agent experiences the process and the object is an instrument for the process, then there exists another process such that the other process is an instance of Intubation 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 548-555	If a process is an instance of jumping and an agent is an agent of the process, then standing is not an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10632-10640	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the entity is not a member of the agent holds during the beginning of the time of existence of the process and the entity is a member of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10653-10665	If a process is an instance of hiring and a cognitive agent is an instance of organization and the cognitive agent is an agent of the process and an entity is a patient of the process, then the cognitive agent expects there exists another entity such that the other entity is an instance of financial transaction and the cognitive agent is an agent of the other entity and the other entity ends up at the entity and the time of existence of the process happens earlier than the time of existence of the other entity will be true
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10642-10651	If a process is an instance of hiring and an agent is an instance of organization and the agent is an agent of the process and an entity is a patient of the process, then the agent employs the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10600-10608	If a process is an instance of joining an organization and an entity is an instance of organization and an agent is an agent of the process and the entity is a patient of the process, then the agent is not a member of the entity holds during the beginning of the time of existence of the process and the agent is a member of 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.	Merge.kif 12114-12128	If a process is an instance of judging and an agent is an agent of the process and an entity is a result of the process, then the agent doesn't believe the entity holds during the beginning of the time of existence of the process and the agent believes 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.	Mid-level-ontology.kif 19888-19895	If a process is an instance of kneeling down and an agent is an agent of the process, then kneeling is an attribute of the agent holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12200-12210	If a process is an instance of keeping and an agent is an agent of the process and an entity is a patient of the process, then there exists another process such that the other process is an instance of putting and the agent is an agent of the other process and the entity is a patient of the other process 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.	Merge.kif 12212-12220	If a process is an instance of keeping and an entity is a patient of the process, then there exists another entity such that for all a time position if the time position is a part of the time of existence of the process, then the entity is located at the other entity holds during the time position
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12327-12333	If a process is an instance of killing and an entity is a patient of the process, then living is an attribute of the entity holds during the beginning of the time of existence of the process and dead is an attribute of the entity holds during after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2835-2842	If a process is an instance of cancelling an order and an entity is a patient of the process, then active agreement is not an attribute of 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 24115-24128	If a process is an instance of laying eggs and an agent experiences the process, then there exists an entity such that the entity is an instance of egg and the entity is a patient of the process and the entity is a part of the agent holds during the beginning of the time of existence of the process and the entity is not a part of the agent holds during the end of the time of existence of the process
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