Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - UnitOfLength
UnitOfLength

appearance as argument number 1
-------------------------


(documentation UnitOfLength ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来 组成 LengthMeasure 实例的 UnitOfMeasure。") Merge.kif 6379-6380
(documentation UnitOfLength EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of LengthMeasure.") Merge.kif 6376-6378
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6375-6375

appearance as argument number 2
-------------------------


(instance Angstrom UnitOfLength) Merge.kif 7422-7422
(instance Centimeter UnitOfLength) Merge.kif 6990-6990
(instance Fathom UnitOfLength) Geography.kif 3662-3662
(instance FootLength UnitOfLength) Merge.kif 7437-7437
(instance Inch UnitOfLength) Merge.kif 7445-7445
(instance Kilometer UnitOfLength) Merge.kif 7010-7010
(instance Meter UnitOfLength) Merge.kif 6892-6892
(instance Micrometer UnitOfLength) Geography.kif 6444-6444
(instance Mile UnitOfLength) Merge.kif 7453-7453
(instance Millimeter UnitOfLength) Merge.kif 7003-7003
(instance Nanometer UnitOfLength) Mid-level-ontology.kif 16758-16758
(instance NauticalMile UnitOfLength) Geography.kif 3677-3677
(instance YardLength UnitOfLength) Mid-level-ontology.kif 16748-16748

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 1863-1871
(=>
    (and
        (equal
            (MeasureFn ?NUMBER ?UNIT) ?QUANT)
        (instance ?UNIT UnitOfLength))
    (instance ?QUANT LengthMeasure))		 Merge.kif 6502-6506
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?UNIT UnitOfLength))
    (totalCoastline ?AREA
        (MeasureFn 0 ?UNIT)))		 Geography.kif 898-902
(=>
    (and
        (instance ?UNIT UnitOfLength)
        (totalCoastline ?AREA
            (MeasureFn 0 ?UNIT)))
    (instance ?AREA LandlockedArea))		 Geography.kif 904-908
(=>
    (and
        (instance ?WATERWAY Waterway)
        (depth ?OBJ ?WATERWAY
            (MeasureFn ?DEPTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (lessThan ?DRAFT ?DEPTH))
    (navigableForDraft ?WATERWAY
        (MeasureFn ?DRAFT ?UNIT)))		 Transportation.kif 2581-2587
(=>
    (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 540-548
(=>
    (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 514-522
(=>
    (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 572-580
(=>
    (and
        (totalLengthOfHighwaySystem ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?HIGHWAY)
        (and
            (instance ?HIGHWAY Roadway)
            (located ?HIGHWAY ?AREA))))		 Transportation.kif 460-468
(=>
    (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 477-484
(=>
    (and
        (totalLengthOfWaterways ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?WATERWAY)
        (and
            (instance ?WATERWAY Waterway)
            (located ?WATERWAY ?AREA))))		 Transportation.kif 627-635
(=>
    (and
        (totalPipelineInArea ?AREA
            (MeasureFn ?LENGTH ?UNIT))
        (instance ?UNIT UnitOfLength)
        (greaterThan ?LENGTH 0))
    (exists (?PIPE)
        (and
            (instance ?PIPE Pipeline)
            (located ?PIPE ?AREA))))		 Transportation.kif 656-664

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 7946-7954


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners