No TPTP formula. May not be expressible in strict first order.	Geography.kif 699-703	If a geographic area is an instance of geographic area and another geographic area is an instance of geographic area, then the border of the geographic area and the other geographic area is equal to the border of the other geographic area and the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3595-3615	If an object is an instance of geographic area and the object is located at another object and the other object is an instance of tropics, then there exist a real number, a longitude,, , a directional attribute,, , another real number and an unit of measure such that the object is object geographic coordinates the real number the unit of measure(s) for the longitude and the unit of measure is an instance of unit of angular measure and the real number is less than the other real number and the other real number the unit of measure(s) is equal to the region the directional attribute of 23.0 angular degree(s) and the directional attribute is an instance of directional attribute and the directional attribute is equal to north or the directional attribute is equal to south
No TPTP formula. May not be expressible in strict first order.	Geography.kif 342-346	If a geographic area is an instance of geographic area and the geographic center of the geographic area is an instance of geographic area, then the geographic center of the geographic area is a geographic subregion of the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3631-3640	If a physical is an instance of geographic area and the physical is located at antarctic area, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3570-3579	If a physical is an instance of geographic area and the physical is located at arctic region, then there exists a time position such that the time position is an instance of day and illuminated is not an attribute of the physical holds during the time position
No TPTP formula. May not be expressible in strict first order.	Geography.kif 348-353	If a geographic area is an instance of geographic area and the geographic center of the geographic area is object geographic coordinates a latitude for a longitude, then the geographic area is object geographic coordinates the latitude for the longitude
No TPTP formula. May not be expressible in strict first order.	Weather.kif 787-794	If a process is an instance of typhoon and the process is located at an object and the object is an instance of geographic area, then the object is located at Northwestern Pacific Ocean or the object meets Northwestern Pacific Ocean
No TPTP formula. May not be expressible in strict first order.	Weather.kif 693-706	If a process is an instance of tropical cyclone and the process ends up at a physical and the physical is an instance of geographic area, then there don't exist an object, another physical and a real number such that the object is an instance of land area and the other physical is an instance of shoreline and the physical is located at the object and the distance between the object and the other physical is the real number mile(s) and the real number is greater than 200.0
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4355-4359	If a land area is an instance of geographic area and loam is a ground surface type of the land area, then fertile terrain is an attribute of the land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 1824-1828	If a land area is an instance of geographic area and rock is a ground surface type of the land area, then fertile terrain is not an attribute of the land area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6201-6209	If not a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there doesn't exist a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 507-512	If a physical is partly located in a geographic area and the geographic area is an instance of geographic area and the geographic area is a geographic subregion of another geographic area, then the physical is partly located in the other geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2692-2701	If a kind of process is a subclass of process and another process is an instance of a kind of process and the other process is located at a region and a case role is an instance of case role and an object is an instance of object and the region is an instance of geographic area and the case role the other process and the object, then the kind of process capable at location the case role for the object with the region
No TPTP formula. May not be expressible in strict first order.	Geography.kif 6191-6199	If a kind of plant is found in a geographic area and a kind of plant is a subclass of plant and the geographic area is an instance of geographic area, then there exists a physical such that the physical is an instance of the kind of plant and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 695-697	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area meets the other geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 712-714	If the border of a geographic area and another geographic area is an instance of geographic area, then the geographic area is adjacent to the other geographic area

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