No TPTP formula. May not be expressible in strict first order.	Geography.kif 7049-7066	If a process is an instance of sublimation and an object is a patient of the process, then there exists another object such that the other object is a part of the object and solid is an attribute of the other object holds during the beginning of the time of existence of the process and gas is an attribute of the other object holds during the end of the time of existence of the process and liquid is an attribute of the other object doesn't hold during the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 5932-5945	If a process is an instance of taking ill and an agent experiences the process, then there exists an entity such that the entity is an instance of disease or syndrome and the entity is not an attribute of the agent holds during the beginning of the time of existence of the process and the entity 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.	Mid-level-ontology.kif 16948-16961	If a process is an instance of transferring position and an agent experiences the process, then there exist an entity, another entity and a third entity such that the agent holds the position of the entity in the third entity holds during the beginning of the time of existence of the process and the agent holds the position of the other entity in the third entity holds during the end of the time of existence of the process and the entity is not equal to the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1959-1963	If a time interval is an instance of the year 26 and another time interval is an instance of the year 100, then the time of existence of Twelve apostles is a part of interval between the beginning of the time interval and the end of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 7524-7528	If a time point is an instance of time point and the age of a physical is a time duration holds during the time point, then duration of interval between the beginning of the time of existence of the physical and the time point is the time duration
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11485-11492	If a process is an instance of touching and an agent is an agent of the process and an entity is a patient of the process, then the agent is not connected to the entity holds during the beginning of the time of existence of the process and the agent is connected to 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 15992-15998	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process ends up at an entity, then the object is located at the entity holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15984-15990	If an object is an instance of vehicle and a process is an instance of translocation and the object is an instrument for the process and the process originates at another object, then the object is located at the other object holds during the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2486-2495	If a process is an instance of unmaximizing graphical window and an entity is a patient of the process and the entity is an instance of interface window, then the entity has state GUE maximized window state holds during the beginning of the time of existence of the process and not the entity has state GUE maximized window state 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 21413-21427	If a process is an instance of vomiting and an agent experiences the process, then there exist an object and an entity such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at 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.	Mid-level-ontology.kif 21452-21468	If a process is an instance of vomiting and an entity is an instance of vomit and the entity is a patient of the process and an agent experiences the process, then there exists an object such that the object is an instance of stomach and the object is a part of the agent and the entity is located at the object holds during the beginning of the time of existence of the process and the entity is not located at 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.	TransportDetail.kif 174-182	If a process is an instance of valet parking and an entity is a patient of the process and another process is an instance of arriving and the entity is a patient of the other process, then the end of the time of existence of the other process meets the beginning of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1605-1621	If a time interval is an instance of watch item and an entity is an instance of object and the entity is a patient of the time interval and an agent is an agent of the time interval, then there exist a collection, a web site,, , a time position and another time interval such that the collection is an instance of collection and the web site is an instance of web site and the other time interval is an instance of time interval and user the agent on the web site is watching the collection and the beginning of the other time interval is equal to the end of the time interval and the entity is a member of the collection holds during the time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26973-26999	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and the object is not equal to the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	VirusProteinAndCellPart.kif 237-245	If a developmental attribute is a life stage achieved of a biological process and an agent experiences the biological process, then the agent is not an instance of the developmental attribute holds during the beginning of the time of existence of the biological process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1314-1326	If mild traumatic brain injury is an attribute of an entity doesn't hold during a time interval and mild traumatic brain injury is an attribute of the entity holds during another time interval and the time interval meets the other time interval, then the statement unconscious is an attribute of the entity holds during the beginning of the other time interval has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8206-8210	If a physical exists during a time point and the time point is an instance of time point, then the time point is between or at the beginning of the time of existence of the physical and the end of the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 18144-18150	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.	UXExperimentalTerms.kif 4311-4315	If an experimenting takes a time interval to burn in, then the beginning of the time of existence of the experimenting is equal to the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 667-675	If an organization allows checkins after a kind of time point, then the statement there exist an entity and another entity such that the entity is an instance of a kind of time point and the other entity is an instance of check-in service and the organization is an agent of the other entity and the beginning of the time of existence of the other entity happens before the entity has the modal force of unlikely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 985-990	If a kind of time position is a date established of a physical, then there exists a time interval such that the time interval is an instance of a kind of time position and the beginning of the time of existence of the physical overlaps the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8315-8319	If a time interval takes place during another time interval, then the end of the time interval happens before the end of the other time interval and the beginning of the other time interval happens before the beginning of the time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8378-8380	If a time interval happens earlier than another time interval, then the end of the time interval happens before the beginning of the other time interval
No TPTP formula. May not be expressible in strict first order.	Merge.kif 8076-8084	If a time interval finishes another time interval, then the beginning of the other time interval happens before the beginning of the time interval and the end of the other time interval is equal to the end of the time interval
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2529-2537	If a covering GUI element covers a GUI element, then the GUI element has state GUE partially covered state or the GUI element has state GUE uncovered state holds during the beginning of the time of existence of the covering GUI element and the GUI element has state GUE covered state holds during the end of the time of existence of the covering GUI element
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