No TPTP formula. May not be expressible in strict first order.	Transportation.kif 246-254	If a real number an unit of measure(s) is a length of narrow gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of narrow gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 551-559	If a real number an unit of measure(s) is a length of paved highway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of surfaced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 274-282	If a real number an unit of measure(s) is a length of standard gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of standard gauge railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 308-316	If a real number an unit of measure(s) is a length of unclassified gauge railway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of railway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 610-618	If a real number an unit of measure(s) is a length of unpaved highway of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of unsurfaced roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5027-5037	If a region low tide a time interval for a real number an unit of measure(s) and the region is high tide another time interval for another real number the unit of measure(s) and the unit of measure is an instance of unit of length and a third time interval is an instance of day and the third time interval overlaps the time interval and the third time interval overlaps the other time interval, then the real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Cars.kif 751-768	If the amplitude a tremor is a real number an unit of measure(s) and the unit of measure is an instance of unit of length and an entity is a patient of the tremor, then there don't exist a physical, another physical,, , the tremor1,, , the tremor2 and the real number2 such that the tremor1 takes place during the time of existence of the tremor and the tremor2 takes place during the time of existence of the tremor and the entity is located at the physical holds during the tremor1 and the entity is located at the other physical holds during the tremor2 and the distance between the physical and the other physical is the real number2 the unit of measure(s) and the real number2 is greater than the real number
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1295-1315	If one end of an object is another object and one end of the object is a third object and a fourth object is a part of the other object and a fifth object is a part of the third object and an unit of measure is an instance of unit of length and the distance between the fourth object and the fifth object is a real number the unit of measure(s) and the other object is not equal to the third object, then there don't exist the objectP1, the objectP2 and another real number such that the objectP1 is not a part of the other object and the objectP2 is not a part of the third object and the distance between the objectP1 and the objectP2 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.	Transportation.kif 1718-1736	If the top speed of a vehicle is a real number an unit of measure(s) and the unit of measure is an instance of composite unit of measure and an entity is an instance of unit of length and another entity is an instance of unit of duration and another real number is equal to the probability of the measure of the vehicle is a length measure the entity(s) per a time duration the other entity(s) and a third real number is equal to the probability of the measure of the vehicle is another length measure the entity(s) per another time duration the other entity(s) and the length measure per the time duration is greater than the real number and the real number is greater than the other length measure per the other time duration, then the third real number is greater than the other real number
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 493-501	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of roadway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 510-517	If a real number an unit of measure(s) is a total length of highway system of a geographic area and the real number1 the unit of measure(s) is a length of paved highway of the geographic area and the real number2 the unit of measure(s) is a length of unpaved highway of the geographic area and the unit of measure is an instance of unit of length, then (the real number1 and the real number2) the unit of measure(s) is a total length of highway system of the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 665-673	If a real number an unit of measure(s) is a total length of waterways of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of waterway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 694-702	If a real number an unit of measure(s) is a total pipeline in area of a geographic area and the unit of measure is an instance of unit of length and the real number is greater than 0, then there exists a physical such that the physical is an instance of pipeline and the physical is located at the 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