No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1570-1581	If a process is an instance of view item request and another process is an instance of accessing web page and a corpuscular object is an instance of next generation view item and an agent is an instance of agent and a web listing is an instance of advertising and the other process is a subprocess of the process and the corpuscular object is a component of the web listing and the other process ends up at the corpuscular object and the agent is an agent of the other process, then the agent viewed the web listing
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1651-1672	If a process is an instance of tornado and another process is an instance of rotating and an object is an instance of air and the processRAN is an instance of translocation and the other process is a subprocess of the process and the processRAN is a subprocess of the other process and the object is a patient of the processRAN and entities in the process the processRAN are moving horizontal, then there exist another object, a self connected object,, , the processOP,, , a third self connected object,, , a fourth self connected object and a fifth self connected object such that the other object is an instance of geographic area and the process is located at the other object and the self connected object is a part of the object and cone segment is an attribute of the self connected object and the top of the self connected object is the processOP and the bottom of the self connected object is the third self connected object and the fourth self connected object is an instance of cloud and the bottom of the fourth self connected object is the fifth self connected object and the processOP meets the fifth self connected object and the third self connected object meets the other object
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 4501-4518	If a process is an instance of multivariate test and an experimenting is a subprocess of the process and another experimenting is a subprocess of the process and the experimenting is an instance of experimenting and the other experimenting is an instance of experimenting and another process is an instance of process and a third process is an instance of process and the other process is a process in the experimenting and the third process is a process in the other experimenting, then there exists a fourth process such that the fourth process is an instance of process and the other process is a subprocess of the fourth process and the third process is a subprocess of the fourth process and the other process is not equal to the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23556-23563	If a process is an instance of transportation and the process is a subprocess of another process and the other process is an instance of driving and an object is an instrument for the process and the object is an instance of transportation device, then the object is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1579-1588	If a process is an instance of communication over Bluetooth network and a radiating is an instance of radiating electromagnetic and the radiating is a subprocess of the process and the frequency of the carrier of the radiating is a real number 1 billion hertzs(s), then the real number is greater than 2.4 and the real number is less than 2.485
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 419-438	If renters of a kind of hotel unit can pay to use a kind of physical and a kind of physical is a subclass of process and a temporary residence is an instance of a kind of hotel unit and a human stays at the temporary residence and the temporary residence is an element of belongings of an agent and the human is a patient of a process and the process is an instance of the kind of physical or another process is an instance of the kind of physical and the process is a subprocess of the other process and the process is located at the temporary residence, then there exist the processRICE and an unit of measure such that the process is price the processRICE the unit of measure(s) for the human and the unit of measure is an instance of unit of currency and the processRICE is greater than 0
No TPTP formula. May not be expressible in strict first order.	Merge.kif 3770-3774	If a process is a subprocess of another process and a third process is a subprocess of the other process, then the third process is a related event of the process
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10107-10109	If a process is a subprocess of another process, then the time of existence of the process is a part of the time of existence of the other process

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