No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16447-16459	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 18621-18639	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 12313-12321	If a process is an instance of killing and an agent 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 process causes the other process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2265-2274	If a process is an instance of lupus and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of rash and the agent experiences the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1464-1473	If a time interval is an instance of muscles relaxing and an agent experiences the time interval, then there doesn't exist another time interval such that the time interval overlaps the other time interval and the other time interval is an instance of muscles becoming tense and the agent experiences the other time interval
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1450-1459	If a time interval is an instance of muscles becoming tense and an agent experiences the time interval, then there doesn't exist another time interval such that the time interval overlaps the other time interval and the other time interval is an instance of muscles relaxing and the agent experiences the other time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21432-21443	If a process is an instance of nausea and a cognitive agent experiences the process, then the cognitive agent believes there exists an entity such that the entity is an instance of vomiting and the cognitive agent experiences 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 2735-2747	If a process is an instance of coeliac disease and an agent experiences the process and an object is an instance of small intestine and the object is a part of the agent, then the statement there exists an entity such that the entity is an instance of Diarrhoea and the agent experiences the entity and the process causes the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2060-2070	If a process is an instance of palpitations and an agent experiences the process and the agentEART is an instance of heart and the agentEART is a part of the agent, then there exists the processER such that the processER is an instance of perception and the agent experiences the processER and the agentEART is a patient of the processER
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 8600-8610	If an object is an instance of poison and a motion is an instance of ingesting and the object moves during the motion and an agent experiences the motion, then there exists a process such that the process is an instance of damaging and the agent experiences the process and the motion causes the process
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1383-1392	If a process is an instance of public program and an agent experiences the process, then the process has the purpose there exists an entity such that the entity is an instance of helping and the agent experiences the entity and the agent is an instance of public
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 5527-5535	If a process is an instance of septic shock and an agent experiences the process, then there exists another process such that the other process is an instance of infecting and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5749-5759	If a process is an instance of rash and an agent experiences the process, then the statement there exists an entity such that the entity is an instance of pruritus and the agent experiences the entity and the time of existence of the entity takes place 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.	Cars.kif 3389-3417	If a wearable item is an instance of safety harness and an animal is an instance of animal and the animal wears the wearable item, then the wearable item has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of process and the wearable item is an instrument for the entity and the animal is a patient of the entity and the other entity is a subclass of the class described by the third entity and the entity prevents the occurrence of the other entity
No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1293-1303	If a process is an instance of supportHN assistance and an agent experiences the process and the agent is an instance of host nation, then there exists another process such that the other process is an instance of military operation and the other process is an instance of helping and the agent experiences the other process and the other process is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13494-13504	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then there exists the agent2 such that the agent2 is not equal to the agent and the agent2 is capable of doing a kind of perception as a experiencer and the agent is not capable of doing the kind of perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13514-13519	If a process is an instance of impairment in a kind of perception and an agent experiences the process, then the agent is not capable of doing a kind of perception as a experiencer
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1967-1975	If a process is an instance of sad voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of sadness and the agent experiences the other process and the other process causes the process
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1928-1936	If a process is an instance of surprised voice utterance and an agent is an agent of the process, then there exists another process such that the other process is an instance of surprise and the agent experiences the other process and the other process causes the process
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.	Medicine.kif 5997-6017	If a time interval is an instance of TimePeriod and duration of the time interval is a real number minute duration(s) and the real number is greater than 5.0 and an entity is an instance of human and there doesn't exist a process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval and the entity is a patient of the process, then the statement there exists another entity such that the other entity is an instance of death and the entity experiences the other entity and the time interval meets the time of existence of the other entity has the modal force of likely
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.	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 2973-2981	If a reservation is a reservation for a proposition and the reservation reserves another reservation, then the statement there exists an entity such that the entity expresses the content of the proposition and the other reservation experiences the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1089-1103	If a kind of vaccine is a vaccine for a kind of virus and a transfer is an instance of vaccination and an agent experiences the transfer and a kind of vaccineI is an instance of the kind of vaccine and the object transferred in the transfer is the kind of vaccineI, then the kind of vaccineI has the purpose there don't exist an entity and a kind of virusI such that the entity is an instance of infecting and the agent experiences the entity and the kind of virusI is an instance of the kind of virus and the object transferred in the entity is the kind of virusI
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