No TPTP formula. May not be expressible in strict first order.	Weather.kif 2582-2590	If a process is an instance of dust storm and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1870-1879	If an object is an instance of electrocardiogram and abnormal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1853-1863	If an object is an instance of electrocardiogram and normal EKG is an attribute of the object and the object includes a reference to another object and the other object is a part of a third object and the other object is an instance of heart, then the statement impaired body part fn heart is not an attribute of the third object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4357-4374	If a process is an instance of process and a human is an instance of agent and an experimenting is an instance of experimenting and the human is a treated used in the experimenting and the process is a process in the experimenting and the human experiences another process and the human experiences the process and the experimenting causes the other process, then there exists the experimentingERIMENTER such that the experimentingERIMENTER is an instance of agent and the experimentingERIMENTER is the experimenter in the experimenting and the experimentingERIMENTER believes the statement the process causes the other process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26212-26233	If a telecom number is an instance of hotline and the telecom number is the telephone number of an agent and the agent is an instance of organization, then the telecom number has the purpose there exists an entity such that the entity is an instance of telephoning and the entity ends up at the agent and the statement there exists another entity such that the other entity is an instance of communication and the telecom number is an instrument for the other entity and the beginning of the time of existence of the other entity is equal to the beginning of immediately after the time of existence of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2572-2580	If a process is an instance of atmospheric hazing and an object is an instance of geographic area and the process is located at the object, then the statement Bad air quality is an attribute of the object has the modal force of likely holds during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1316-1328	If a process is an instance of impacting and an entity is a patient of the process and impaired body part fn brain is an attribute of the entity holds during immediately after the process, then the statement mild traumatic brain injury is an attribute of the entity holds during immediately after the process has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1563-1575	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of the objectC and pathologic side effect the objectC and the objectIS, then the statement there exists an entity such that the entity is an instance of the objectIS and the entity experiences the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1545-1554	If a transfer is an instance of ingesting and an agent experiences the transfer and the object transferred in the transfer is an object and the object is an instance of the objectC and the objectIS is a side effect of taking the objectC, then the statement the objectIS is an attribute of the agent has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	TransnationalIssues.kif 88-99	If a transfer is an instance of ingesting and the object transferred in the transfer is an object and the object is an instance of hallucinogen and the transfer ends up at an entity, then the statement there exists the objectAL such that the objectAL is an instance of hallucination and the entity experiences the objectAL has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3616-3632	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 5478-5488	If an object is an instance of intestine and another object is an instance of animal and the object is a part of the other object, then the statement there exists an entity such that the entity is an instance of E. coli and the object contains the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Cars.kif 902-915	If an object is an instance of leaf spring and the object is a part of another object and the other object is an instance of road vehicle, then the statement there exists the object2 such that the object2 is an instance of leaf spring and the object2 is a part of the other object and the object is not equal to the object2 and the object meets the object2 has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2253-2262	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.	Medicine.kif 2723-2735	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 2713-2721	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 the process is located at the object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2654-2674	If a policy is an instance of daily housekeeping and an organization enacts policy the policy, then the statement there exist an entity, another entity and a third entity such that the entity is a guest at the organization and the entity stays at the other entity and the third entity is equal to the time of existence of the entity stays at the other entity and for all a fourth entity if the fourth entity is an instance of day and the fourth entity takes place during the third entity, then there exists a fifth entity such that the fifth entity is an instance of service and the other entity is a patient of the fifth entity and the fifth entity takes place during the fourth entity holds during the third entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2681-2697	If a policy is an instance of no housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there doesn't exist a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 2704-2719	If a policy is an instance of with housekeeping and an organization enacts policy the policy and traveler accommodation is an attribute of the organization, then the statement there exist an entity and another entity such that the entity is a guest at the organization and there exists a third entity such that the third entity is an instance of service and the other entity is a patient of the third entity holds during the time of existence of the entity stays at the other entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	emotion.kif 1646-1654	If a process is an instance of violence and an agent is an agent of the process, then the statement anger is an attribute of the agent holds 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.	Dining.kif 1227-1246	If an agent is an instance of restaurant and an object is an instance of dining room and private attribute is an attribute of the object and the agent possesses the object and the agent is a customer of a cognitive agent and a process is an instance of eating and the cognitive agent is an agent of the process and the cognitive agent is an instance of group of people, then the statement there don't exist an entity and another entity such that the agent is a customer of the entity and the cognitive agent is not equal to the entity and the other entity is an instance of eating and the entity is an agent of the other entity and the other entity is located at the object holds 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.	emotion.kif 1626-1634	If a process is an instance of laughing and an agent experiences the process, then the statement happiness is an attribute of the agent holds 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.	Mid-level-ontology.kif 6298-6308	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.	emotion.kif 1614-1622	If a process is an instance of smiling and an agent experiences the process, then the statement happiness is an attribute of the agent holds 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.	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
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