No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3417-3423	If asthma is an attribute of an agent, then there exists a process such that the process is an instance of impairment in breathing and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6020-6026	If bronchitis is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of bronchial duct and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2149-2154	If juvenile diabetes is an attribute of an agent, then there exists a process such that the process is an instance of auto-immune disease and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4230-4236	If dysautonomia is an attribute of an agent, then there exists a process such that the agent experiences the process and the process is an instance of impairment in autonomic process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4389-4395	If atopic dermatitis is an attribute of an agent, then there exists an entity such that the entity is an instance of inflammation of skin and the agent experiences a process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4382-4387	If atopic dermatitis is an attribute of an agent, then there exists a process such that the process is an instance of rash and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6206-6212	If pneumonia is an attribute of an agent, then there exists a process such that the process is an instance of inflammation of lung and the agent experiences the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18166-18172	If fully formed is an attribute of an agent, then there exists a process such that the process is an instance of growth and the agent experiences the process and non fully formed is an attribute of the agent holds during the beginning of the time of existence of the agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17467-17479	If an agent is an axis of another agent, then there exists a process such that the process is an instance of rotating and the other agent is a part of the agent and the agent experiences the process and there doesn't exist the process2 such that the process2 is an instance of rotating and the process2 is a subprocess of the process and the other agent experiences the process2
No TPTP formula. May not be expressible in strict first order.	Biography.kif 178-184	If a human was baptizing on a day, then there exists a process such that the process is an instance of baptizing and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Biography.kif 192-198	If a human was baptizing in a region, then there exists a process such that the process is an instance of baptizing and the human experiences the process and the process is located at the region
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24269-24275	If a day is a birthdate of a human, then there exists a process such that the process is an instance of birth and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24255-24261	If an object is a birthplace of an animal, then there exists a process such that the process is an instance of birth and the animal experiences the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11025-11033	If an agent is a changes location of a translocation, then the translocation is an instance of translocation and the agent is an instance of object and the agent is a patient of the translocation or the agent is an agent of the translocation or the agent experiences the translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24283-24289	If a day is a deathdate of a human, then there exists a process such that the process is an instance of death and the human experiences the process and date of the process is the day
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 24299-24305	If an object is a deathplace of an animal, then there exists a process such that the process is an instance of death and the animal experiences the process and the process is located at the object
No TPTP formula. May not be expressible in strict first order.	WMD.kif 941-955	If a disease or syndrome is disease treatment a kind of biologically active substance for a kind of process, then there exist an entity, a time position,, , another entity and a third entity such that the disease or syndrome is an attribute of the entity holds during the time position and the third entity is an instance of a kind of process and the time of existence of the third entity is a part of the time position and the entity experiences the third entity and the other entity is a patient of the third entity and the other entity is an instance of a kind of biologically active substance increases likelihood of the disease or syndrome is not an attribute of the entity holds during immediately after the time position
No TPTP formula. May not be expressible in strict first order.	WMD.kif 890-900	If a real number is a disease mortality of a disease or syndrome, then probability of there exists an entity such that the entity is an instance of organism and the disease or syndrome is an attribute of the entity provided that there exists another entity such that the other entity is an instance of death and the entity experiences the other entity holds is the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7375-7383	If a cognitive agent enjoys an entity, then the cognitive agent desires there exists another entity such that the other entity is an instance of the entity and the cognitive agent is an agent of the other entity or the cognitive agent experiences the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1521-1534	If an entity is equal to WeekBeforeMenstruationFn another entity, then the other entityKBC is equal to the class described by a symbolic string
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4345-4355	If an experimenting causes a process, then there exist another process and a human such that the other process is an instance of process and the human is an instance of agent and the human is a treated used in the experimenting and the other process is a process in the experimenting and the human experiences the process and the human experiences 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.	Medicine.kif 4161-4178	If sleep apnea is an attribute of an agent and sleeping is an attribute of the agent holds during a time interval, then there exist the time interval2, a process and the process2 such that the time interval2 takes place during the time interval and there doesn't exist the process such that the process is an instance of breathing and the time of existence of the process takes place during the time interval2 and the agent experiences the process and the process2 is an instance of breathing and the agent needs the process2 holds during the time interval2
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1244-1253	If anger is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of angry facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1262-1271	If disgust is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of disgusted facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1344-1353	If angst is an attribute of an entity holds during a time position, then the statement there exists another entity such that the other entity is an instance of fearful facial expression and the entity experiences the other entity and the time of existence of the other entity takes place during the time position has the modal force of likely
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