LengthMeasure(length measure)

-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 706-706 The number 2 argument of length of crude oil pipeline is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 203-203 The number 2 argument of length of dual gauge railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 119-119 The number 2 argument of length of electrified railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 563-563 The number 2 argument of length of expressway system is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 147-147 The number 2 argument of length of multiple track railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 231-231 The number 2 argument of length of narrow gauge railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 729-729 The number 2 argument of length of natural gas pipeline is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 537-537 The number 2 argument of length of paved highway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 752-752 The number 2 argument of length of petroleum product pipeline is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 258-258 The number 2 argument of length of standard gauge railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 286-286 The number 2 argument of length of unclassified gauge railway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 596-596 The number 2 argument of length of unpaved highway is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 17967-17967 The number 2 argument of line measure is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7532-7532 The number 2 argument of linear extent is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 5021-5021 The number 3 argument of low tide is an instance of length measure
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 110-110 The number 2 argument of maximum payload height width is an instance of length measure
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 111-111 The number 3 argument of maximum payload height width is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 4852-4852 The number 2 argument of mean sea level is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2647-2647 The number 2 argument of navigable for draft is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Cars.kif 732-732 The number 2 argument of physical amplitude is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Cars.kif 1937-1937 The number 2 argument of piston stroke is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Merge.kif 7646-7646 The number 2 argument of radius is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Geography.kif 757-757 The number 3 argument of shared border length is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Weather.kif 1526-1526 The number 3 argument of significant wave height is an instance of length measure
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13444-13444 The number 2 argument of sphere radius is an instance of length measure

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