UnitOfLength |
appearance as argument number 1 |
![]() |
(documentation UnitOfLength ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 LengthMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2405-2406 | |
(documentation UnitOfLength EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of LengthMeasure.") | Merge.kif 5950-5952 | |
(subclass UnitOfLength NonCompositeUnitOfMeasure) | Merge.kif 5948-5948 |
appearance as argument number 2 |
![]() |
(instance Angstrom UnitOfLength) | Merge.kif 6883-6883 | |
(instance Centimeter UnitOfLength) | Merge.kif 6494-6494 | |
(instance Fathom UnitOfLength) | Geography.kif 3675-3675 | |
(instance FootLength UnitOfLength) | Merge.kif 6897-6897 | |
(instance Inch UnitOfLength) | Merge.kif 6905-6905 | |
(instance Kilometer UnitOfLength) | Merge.kif 6513-6513 | |
(instance Meter UnitOfLength) | Merge.kif 6409-6409 | |
(instance Micrometer UnitOfLength) | Geography.kif 6522-6522 | |
(instance Mile UnitOfLength) | Merge.kif 6912-6912 | |
(instance Millimeter UnitOfLength) | Merge.kif 6506-6506 | |
(instance Nanometer UnitOfLength) | Mid-level-ontology.kif 16898-16898 | |
(instance NauticalMile UnitOfLength) | Geography.kif 3690-3690 | |
(instance YardLength UnitOfLength) | Mid-level-ontology.kif 16888-16888 |
antecedent |
![]() |
(=> (and (elevation ?OBJECT (MeasureFn ?NUM ?UNIT)) (instance ?UNIT UnitOfLength) (instance ?OBJECT LandForm)) (exists (?HIGHPOINT) (and (top ?HIGHPOINT ?OBJECT) (distance ?HIGHPOINT SeaLevel (MeasureFn ?NUM ?UNIT))))) |
Geography.kif 1875-1883 | |
(=> (and (equal (MeasureFn ?NUMBER ?UNIT) ?QUANT) (instance ?UNIT UnitOfLength)) (instance ?QUANT LengthMeasure)) |
Merge.kif 6059-6063 | |
(=> (and (instance ?AREA LandlockedArea) (instance ?UNIT UnitOfLength)) (totalCoastline ?AREA (MeasureFn 0 ?UNIT))) |
Geography.kif 911-915 | |
(=> (and (instance ?UNIT UnitOfLength) (totalCoastline ?AREA (MeasureFn 0 ?UNIT))) (instance ?AREA LandlockedArea)) |
Geography.kif 917-921 | |
(=> (and (instance ?WATERWAY Waterway) (depth ?OBJ ?WATERWAY (MeasureFn ?DEPTH ?UNIT)) (instance ?UNIT UnitOfLength) (lessThan ?DRAFT ?DEPTH)) (navigableForDraft ?WATERWAY (MeasureFn ?DRAFT ?UNIT))) |
Transportation.kif 2645-2651 | |
(=> (and (lengthOfBroadGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY BroadGaugeRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 188-196 | |
(=> (and (lengthOfDualGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY DualGaugeRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 216-224 | |
(=> (and (lengthOfExpresswaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY Expressway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 567-575 | |
(=> (and (lengthOfNarrowGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY NarrowGaugeRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 243-251 | |
(=> (and (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY SurfacedRoadway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 541-549 | |
(=> (and (lengthOfStandardGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY StandardGaugeRailway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 271-279 | |
(=> (and (lengthOfUnclassifiedGaugeRailway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?RAILWAY) (and (instance ?RAILWAY Railway) (located ?RAILWAY ?AREA)))) |
Transportation.kif 305-313 | |
(=> (and (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY UnsurfacedRoadway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 599-607 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?HIGHWAY) (and (instance ?HIGHWAY Roadway) (located ?HIGHWAY ?AREA)))) |
Transportation.kif 487-495 | |
(=> (and (totalLengthOfHighwaySystem ?AREA (MeasureFn ?LENGTH ?UNIT)) (lengthOfPavedHighway ?AREA (MeasureFn ?LENGTH1 ?UNIT)) (lengthOfUnpavedHighway ?AREA (MeasureFn ?LENGTH2 ?UNIT)) (instance ?UNIT UnitOfLength)) (totalLengthOfHighwaySystem ?AREA (MeasureFn (AdditionFn ?LENGTH1 ?LENGTH2) ?UNIT))) |
Transportation.kif 504-511 | |
(=> (and (totalLengthOfWaterways ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?WATERWAY) (and (instance ?WATERWAY Waterway) (located ?WATERWAY ?AREA)))) |
Transportation.kif 654-662 | |
(=> (and (totalPipelineInArea ?AREA (MeasureFn ?LENGTH ?UNIT)) (instance ?UNIT UnitOfLength) (greaterThan ?LENGTH 0)) (exists (?PIPE) (and (instance ?PIPE Pipeline) (located ?PIPE ?AREA)))) |
Transportation.kif 683-691 |
consequent |
![]() |
(<=> (larger ?OBJ1 ?OBJ2) (forall (?QUANT1 ?QUANT2 ?UNIT) (=> (and (measure ?OBJ1 (MeasureFn ?QUANT1 ?UNIT)) (measure ?OBJ2 (MeasureFn ?QUANT2 ?UNIT)) (instance ?UNIT UnitOfLength)) (greaterThan ?QUANT1 ?QUANT2)))) |
Merge.kif 7383-7391 |
![]() |
![]() |