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 |