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 6392-6393
(documentation UnitOfLength EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of LengthMeasure.") Merge.kif 6389-6391
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 6388-6388

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


(instance Angstrom UnitOfLength) Merge.kif 7435-7435
(instance Centimeter UnitOfLength) Merge.kif 7003-7003
(instance Fathom UnitOfLength) Geography.kif 3662-3662
(instance FootLength UnitOfLength) Merge.kif 7450-7450
(instance Inch UnitOfLength) Merge.kif 7458-7458
(instance Kilometer UnitOfLength) Merge.kif 7023-7023
(instance Meter UnitOfLength) Merge.kif 6905-6905
(instance Micrometer UnitOfLength) Geography.kif 6413-6413
(instance Mile UnitOfLength) Merge.kif 7466-7466
(instance Millimeter UnitOfLength) Merge.kif 7016-7016
(instance Nanometer UnitOfLength) Mid-level-ontology.kif 16788-16788
(instance NauticalMile UnitOfLength) Geography.kif 3677-3677
(instance YardLength UnitOfLength) Mid-level-ontology.kif 16778-16778

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 6515-6519
(=>
    (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 2608-2614
(=>
    (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 7963-7971


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