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。") 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 5899-5901
(subclass UnitOfLength NonCompositeUnitOfMeasure) Merge.kif 5897-5897 subclass UnitOfLength and NonCompositeUnitOfMeasure

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


(instance Angstrom UnitOfLength) Merge.kif 6831-6831 instance Angstrom and UnitOfLength
(instance Centimeter UnitOfLength) Merge.kif 6444-6444 instance Centimeter and UnitOfLength
(instance Fathom UnitOfLength) Geography.kif 3675-3675 instance Fathom and UnitOfLength
(instance FootLength UnitOfLength) Merge.kif 6845-6845 instance FootLength and UnitOfLength
(instance Inch UnitOfLength) Merge.kif 6853-6853 instance Inch and UnitOfLength
(instance Kilometer UnitOfLength) Merge.kif 6463-6463 instance Kilometer and UnitOfLength
(instance Meter UnitOfLength) Merge.kif 6360-6360 instance Meter and UnitOfLength
(instance Micrometer UnitOfLength) Geography.kif 6429-6429 instance Micrometer and UnitOfLength
(instance Mile UnitOfLength) Merge.kif 6860-6860 instance Mile and UnitOfLength
(instance Millimeter UnitOfLength) Merge.kif 6456-6456 instance Millimeter and UnitOfLength
(instance Nanometer UnitOfLength) Mid-level-ontology.kif 16868-16868 instance Nanometer and UnitOfLength
(instance NauticalMile UnitOfLength) Geography.kif 3690-3690 instance NauticalMile and UnitOfLength
(instance YardLength UnitOfLength) Mid-level-ontology.kif 16858-16858 instance YardLength and UnitOfLength

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 6010-6014
(=>
    (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 7325-7333 larger Object and Object RealNumber RealNumber and UnitOfMeasure


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