LengthMeasure(length measure) |
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 2687-2687 | 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 17594-17594 | 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 1399-1399 | 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 583-583 | The number 2 argument of wavelength is an instance of length measure |