No TPTP formula. May not be expressible in strict first order.	Geography.kif 888-888	The number 2 argument of total coastline is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Geography.kif 678-678	The number 2 argument of total land boundary is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 478-478	The number 2 argument of total length of highway system is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 91-91	The number 2 argument of total length of railway system is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 650-650	The number 2 argument of total length of waterways is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 680-680	The number 2 argument of total pipeline in area is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 397-397	The number 2 argument of track width is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 2704-2704	The number 3 argument of visibility in meteorology is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17567-17567	The number 2 argument of water depth is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Weather.kif 1415-1415	The number 2 argument of wave height is an instance of length measure
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 590-590	The number 2 argument of wavelength is an instance of length measure

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