LengthMeasure(length measure)![]() | ![]() | 440_yards, 880_yards, AU, Admiralty_mile, Astronomical_Unit, Gunter's_chain, Roman_mile, Roman_pace, Swedish_mile, absolute_ceiling, altitude, archine, astronomy_unit, beam, body_length, bore, breast-deep, breast-high, broadness, cable, cable's_length, cable_length, caliber, calibre, ceiling, chain, circuit, circumference, clearance, combat_ceiling, coss, cubit, dam, decameter, decametre, decimeter, decimetre, dekameter, dekametre, diam, diameter, digit, dimension, distance, divergence, divergency, dkm, dm, draft, draught... |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 2403-2404 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6211-6212 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8572-8572 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6209-6209 | Length measure is a subclass of constant quantity |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4767-4767 | The range of datum is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4910-4910 | The range of diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4924-4924 | The range of radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 1498-1498 | Altitude measure is a subclass of length measure |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1303-1303 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 1823-1823 |
appearance as argument number 3 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6624-6624 | The number 1 argument of speed is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6635-6635 | The number 1 argument of velocity is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7671-7671 | The number 3 argument of altitude is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17762-17762 | The number 2 argument of approximate diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1314-1314 | The number 3 argument of average rainfall for period is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | MilitaryDevices.kif 212-212 | The number 2 argument of caliber is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31050-31050 | The number 2 argument of circumfrence is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Cars.kif 1536-1536 | The number 2 argument of cylinder bore is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13209-13209 | The number 2 argument of default maximum height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13275-13275 | The number 2 argument of default maximum length is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13328-13328 | The number 2 argument of default maximum sphere radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13242-13242 | The number 2 argument of default maximum width is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13193-13193 | The number 2 argument of default minimum height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13259-13259 | The number 2 argument of default minimum length is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13309-13309 | The number 2 argument of default minimum sphere radius is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13226-13226 | The number 2 argument of default minimum width is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7631-7631 | The number 2 argument of diameter is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7649-7649 | The number 3 argument of distance is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1355-1355 | The number 2 argument of effective range is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 1897-1897 | The number 2 argument of elevation is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 17818-17818 | The number 3 argument of geometric distance is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 7518-7518 | The number 2 argument of height is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Geography.kif 4921-4921 | The number 3 argument of high tide is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 2677-2677 | The number 2 argument of laden draft is an instance of length measure |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 175-175 | The number 2 argument of length of broad gauge railway is an instance of length measure |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 6325-6329 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 1305-1310 |
|
No TPTP formula. May not be expressible in strict first order. | Geography.kif 837-842 |
|
![]() |
![]() |