No TPTP formula. May not be expressible in strict first order.	Weather.kif 1528-1543	If a water wave is an instance of water wave and The waveHeight of the water wave a length measure., then there exist a list, a water area,, , an unit of measure and a real number such that the length measure is a member of the list and the water area is an instance of water area and the water wave is located at the water area and the unit of measure is an instance of unit of length and significantWaveHeight in the water area during the time of existence of the water wave is the real number the unit of measure(s). and the real number is equal to 4.0 and The StandardDeviationFn of the list
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 30018-30048	If a process is an instance of breaking record and an agent is an agent of the process, then there exist a set, a class,, , another process,, , a time point,, , a case role,, , an object and an entity such that the set is an instance of set and the agent is an element of the set and the class is a subclass of process and the object is an instance of region and the time point is an instance of time point and the entity is an instance of quantity and the other process is an instance of the class and the process includes a reference to the entity and the entity includes a reference to the other process and the agent plays role in event the case role for the other process and the other process is located at the object and there don't exist another entity and a third entity such that the other entity is an instance of the set and the other entity is not equal to the agent and the third entity is an instance of the class and the other entity plays role in event the case role for the third entity and the third entity is located at the object holds during interval between the time point and 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 26445-26463	If an object is an instance of fire alarm and device on is an attribute of the object and the object is located at another object, then there exists a process such that the process is an instance of radiating sound and the object is an instrument for the process and the process has the purpose there exists an entity such that the entity is an instance of group of people and the entity is located at the other object and the entity knows there exists another entity such that the other entity is an instance of fire and the other entity is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26961-26987	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.	naics.kif 8184-8197	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes freight transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states
No TPTP formula. May not be expressible in strict first order.	naics.kif 8207-8225	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and coastal and great lakes passenger transportation is an attribute of the cognitive agent, then there exist a process, an object and a geographic area such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at the geographic area and the geographic area is an instance of water area and the geographic area is a geographic subregion of united states and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
No TPTP formula. May not be expressible in strict first order.	naics.kif 8139-8150	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea freight transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of cargo ship and the process is located at world ocean
No TPTP formula. May not be expressible in strict first order.	naics.kif 8159-8175	If a service is an instance of Water Transportation Service and a cognitive agent provides a service during the service and deep sea passenger transportation is an attribute of the cognitive agent, then there exist a process and an object such that the process is a subprocess of the service and the process is an instance of water transportation and the object is an instrument for the process and the object is an instance of passenger ship and the process is located at world ocean and there doesn't exist an entity such that the entity is an instance of short sea passenger ship and the object is equal to the entity
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1765-1771	If The eventLocated for a measuring list is a geographic area and a process is a member of the measuring list, then the process is an instance of measuring and the process is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4376-4386	If a process prevents the occurrence of another kind of process and the time of existence of the process is equal to a time interval and the process is located at an object, then there exists an entity such that the entity is an instance of another kind of process and the entity is located at the object doesn't hold during the time interval
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12210-12219	If a kind of natural substance is a secretes substance of a kind of organic object and an object is an instance of a kind of organic object, then there exist a process and an entity such that the process is an instance of biological process and the process is located at the object and the entity is a result of the process and the entity is an instance of a kind of natural substance
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2705-2722	If the visibility at a region during a time interval is a real number an unit of measure(s) and the unit of measure is an instance of unit of measure, then there don't exist a process, an agent,, , an object and another real number such that the process is an instance of looking and the agent is an agent of the process and the object is a patient of the process and the agent is horizontal to the object and the time of existence of the process takes place during the time interval and the process is located at the region and the distance between the agent and the object is the other real number the unit of measure(s) and the other real number is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1831-1833	If fertile terrain is an attribute of an object, then the object is capable of doing agriculture as a event located
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6003-6010	If emphysema is an attribute of an object, then there exist another object and a process such that the other object is an instance of alveolus and the other object is a part of the object and the process is an instance of pathologic process and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6174-6181	If goiter is an attribute of an object, then there exist another object and a process such that the other object is an instance of thyroid gland and the other object is a part of the object and the process is an instance of pathologic process and the process is located at the other object
No TPTP formula. May not be expressible in strict first order.	naics.kif 11934-11946	If barber shops is an attribute of an object, then the object has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of hair and the entity is a part of the other entity and the other entity is an instance of human and the third entity is an instance of cutting and the entity is a patient of the third entity and the third entity is located at the object and the fourth entity is an agent of the third entity and the object employs the fourth entity
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 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.	Biography.kif 208-214	If an animal is ubried at an object, then there exists a process such that the process is an instance of burial and the animal is a patient of the process and the process is located at the object
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.	Geography.kif 2463-2468	If a kind of physical is an environmental problem type in area of a geographic area, then there exists a process such that the process is an instance of a kind of physical and the process is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4127-4132	If a process is located at an object, then for all another process if the other process is a subprocess of the process, then the other process is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4102-4107	If a process is partly located at an object, then there exists another process such that the other process is a subprocess of the process and the other process is located at the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4399-4410	If a process hinders another kind of process, then there exist an entity and another entity such that the time of existence of the process is equal to the other entity and the process is located at the entity decreases likelihood of there exists a third entity such that the third entity is an instance of another kind of process and the third entity is located at the entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 4319-4332	If instances of a kind of process hinder instances of another kind of process, then for all an entity and another entity there exists a third entity such that the third entity is an instance of a kind of process and the third entity is located at the other entity holds during the entity decreases likelihood of there exists a fourth entity such that the fourth entity is an instance of another kind of process and the fourth entity is located at the other entity holds during the entity
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