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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - height
height

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


(documentation height ChineseLanguage "一个 Object 的高度是它的顶部和底部之间的距离。") chinese_format.kif 2642-2642
(documentation height EnglishLanguage "The height of an Object is the distance between its top and its bottom.") Merge.kif 7208-7209
(domain height 1 SelfConnectedObject) Merge.kif 7205-7205
(domain height 2 LengthMeasure) Merge.kif 7206-7206
(instance height BinaryPredicate) Merge.kif 7204-7204
(subrelation height linearExtent) Merge.kif 7203-7203

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


(format ChineseLanguage height "%1 的 height %n 是 %2") chinese_format.kif 619-619
(format EnglishLanguage height "the height of %1 is %n %2") english_format.kif 625-625
(termFormat ChineseLanguage height "高度") chinese_format.kif 620-620
(termFormat ChineseTraditionalLanguage height "高度") domainEnglishFormat.kif 27810-27810
(termFormat EnglishLanguage height "height") domainEnglishFormat.kif 27809-27809

antecedent
-------------------------


(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))		 Merge.kif 9203-9208
(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT ?HEIGHT))
    (not
        (greaterThan ?HEIGHT
            (MeasureFn 120 Inch))))		 Mid-level-ontology.kif 349-354
(=>
    (and
        (instance ?TREE BotanicalTree)
        (instance ?BUSH Shrub)
        (height ?TREE ?TALL)
        (height ?BUSH ?SHORT))
    (greaterThan ?TALL ?SHORT))		 Geography.kif 5952-5958
(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (height ?piedmont ?height1)
        (height ?mountains ?height2)
        (successorAttributeClosure ?height1 ?height2))
    (greaterThan ?height2 ?height1))		 Geography.kif 3993-4001
(=>
    (and
        (maximumPayloadCapacity ?V
            (MeasureFn ?WEIGHT ?UNITWEIGHT))
        (maximumPayloadHeightWidth ?V
            (MeasureFn ?HEIGHT ?UNITHEIGHT)
            (MeasureFn ?WIDTH ?UNITWIDTH))
        (instance ?O SelfConnectedObject)
        (weight ?O
            (MeasureFn ?WEO ?WEOU))
        (width ?O
            (MeasureFn ?WO ?WOU))
        (height ?O
            (MeasureFn ?HO ?HOU))
        (equal ?WEOU ?UNITWEIGHT)
        (equal ?WOU ?UNITWIDTH)
        (equal ?HOU ?UNITHEIGHT)
        (lessThanOrEqualTo ?WEO ?WEIGHT)
        (lessThanOrEqualTo ?WO ?WIDTH)
        (lessThanOrEqualTo ?HO ?HEIGHT))
    (capability
        (KappaFn ?TRANSPORT
            (and
                (instance ?TRANSPORT Transportation)
                (patient ?TRANSPORT ?O))) instrument ?V))		 MilitaryDevices.kif 144-169

consequent
-------------------------


(=>
    (attribute ?F Flat)
    (and
        (side ?S1 ?F)
        (side ?S2 ?F)
        (meetsSpatially ?S1 ?S2)
        (not
            (equal ?S1 ?S2))
        (height ?F
            (MeasureFn ?HF ?U))
        (height ?S1
            (MeasureFn ?H1 ?U))
        (height ?S2
            (MeasureFn ?H2 ?U))
        (greaterThan ?H1
            (MultiplicationFn 2 ?HF))
        (greaterThan ?H2
            (MultiplicationFn 2 ?HF))))		 Mid-level-ontology.kif 3253-3264
(=>
    (attribute ?O LevelShape)
    (not
        (exists (?P1 ?P2 ?T ?H1 ?H2)
            (and
                (top ?T ?O)
                (part ?P1 ?T)
                (part ?P2 ?T)
                (height ?P1 ?H1)
                (height ?P2 ?H2)
                (greaterThan ?H1 ?H2)))))		 Mid-level-ontology.kif 3295-3305
(=>
    (defaultMaximumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (greaterThan ?HEIGHT ?H))) Unlikely))		 Mid-level-ontology.kif 11009-11016
(=>
    (defaultMinimumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (lessThan ?HEIGHT ?H))) Unlikely))		 Mid-level-ontology.kif 10994-11001
(=>
    (instance ?AAV AAV)
    (and
        (length ?AAV
            (MeasureFn 7.94 Meter))
        (width ?AAV
            (MeasureFn 3.27 Meter))
        (weight ?AAV
            (MeasureFn 22.8 TonMass))
        (height ?AAV
            (MeasureFn 3.26 Meter))
        (effectiveRange ?AAV
            (MeasureFn 480 Kilometer))))		 MilitaryDevices.kif 1662-1674
(=>
    (instance ?AGM114 AGM114)
    (and
        (length ?AGM114
            (MeasureFn 1.63 Meter))
        (width ?AGM114
            (MeasureFn 0.71 Meter))
        (height ?AGM114
            (MeasureFn 0.71 Meter))
        (weight ?AGM114
            (MeasureFn 45 Kilogram))
        (effectiveRange ?AGM114
            (MeasureFn 8 Kilometer))))		 MilitaryDevices.kif 1235-1247
(=>
    (instance ?AGM65 AGM65)
    (and
        (length ?AGM65
            (MeasureFn 2.55 Meter))
        (width ?AGM65
            (MeasureFn 0.7 Meter))
        (height ?AGM65
            (MeasureFn 0.7 Meter))
        (weight ?AGM65
            (MeasureFn 302 Kilogram))
        (effectiveRange ?AGM65
            (MeasureFn 27 Kilometer))))		 MilitaryDevices.kif 1155-1167
(=>
    (instance ?AH1 AH1)
    (and
        (length ?AH1
            (MeasureFn 17.68 Meter))
        (width ?AH1
            (MeasureFn 14.63 Meter))
        (height ?AH1
            (MeasureFn 4.44 Meter))
        (weight ?AH1
            (MeasureFn 4634 Kilogram))
        (effectiveRange ?AH1
            (MeasureFn 587 Kilometer))))		 MilitaryDevices.kif 1900-1912
(=>
    (instance ?AIM9 AIM9)
    (and
        (length ?AIM9
            (MeasureFn 2.85 Meter))
        (width ?AIM9
            (MeasureFn 0.63 Meter))
        (height ?AIM9
            (MeasureFn 0.63 Meter))
        (weight ?AIM9
            (MeasureFn 91 Kilogram))
        (effectiveRange ?AIM9
            (MeasureFn 18 Kilometer))))		 MilitaryDevices.kif 1189-1201
(=>
    (instance ?CH46D CH46D)
    (and
        (length ?CH46D
            (MeasureFn 25.72 Meter))
        (width ?CH46D
            (MeasureFn 15.54 Meter))
        (height ?CH46D
            (MeasureFn 5.1 Meter))
        (weight ?CH46D
            (MeasureFn 7047 Kilogram))
        (effectiveRange ?CH46D
            (MeasureFn 676 Kilometer))))		 MilitaryDevices.kif 1860-1872
(=>
    (instance ?CH53E CH53E)
    (and
        (length ?CH53E
            (MeasureFn 30.2 Meter))
        (width ?CH53E
            (MeasureFn 24.1 Meter))
        (height ?CH53E
            (MeasureFn 8.46 Meter))
        (weight ?CH53E
            (MeasureFn 15071 Kilogram))
        (effectiveRange ?CH53E
            (MeasureFn 2000 Kilometer))))		 MilitaryDevices.kif 1788-1800
(=>
    (instance ?Harrier Harrier2)
    (and
        (length ?Harrier
            (MeasureFn 14.1 Meter))
        (width ?Harrier
            (MeasureFn 9.2 Meter))
        (height ?Harrier
            (MeasureFn 3.5 Meter))
        (weight ?Harrier
            (MeasureFn 5700 Kilogram))
        (effectiveRange ?Harrier
            (MeasureFn 1000 Kilometer))))		 MilitaryDevices.kif 1744-1756
(=>
    (instance ?LAV LAV25)
    (and
        (length ?LAV
            (MeasureFn 6.39 Meter))
        (width ?LAV
            (MeasureFn 2.5 Meter))
        (height ?LAV
            (MeasureFn 2.69 Meter))
        (weight ?LAV
            (MeasureFn 12802.8 Kilogram))
        (effectiveRange ?LAV
            (MeasureFn 660.1 Kilometer))))		 MilitaryDevices.kif 1542-1554
(=>
    (instance ?PLANER Planer)
    (hasPurpose ?PLANER
        (exists (?CUT ?OBJ1 ?OBJ2)
            (and
                (instance ?CUT Cutting)
                (instrument ?CUT ?PLANER)
                (resource ?CUT ?OBJ1)
                (instance ?OBJ1 Object)
                (material ?OBJ1 Wood)
                (result ?CUT ?OBJ2)
                (instance ?OBJ2 Object)
                (material ?OBJ2 Wood)
                (attribute ?OBJ2 Flat)
                (height ?OBJ1 ?H1)
                (height ?OBJ2 ?H2)
                (greaterThan ?H1 ?H2)))))		 Economy.kif 4900-4916
(=>
    (maximumPayloadHeightWidth ?V
        (MeasureFn ?HEIGHT ?UNITHEIGHT)
        (MeasureFn ?WIDTH ?UNITWIDTH))
    (not
        (exists (?TP ?O)
            (and
                (instance ?TP Transportation)
                (instrument ?TP ?V)
                (patient ?TP ?O)
                (width ?O
                    (MeasureFn ?WO ?WOU))
                (height ?O
                    (MeasureFn ?HO ?HOU))
                (equal ?WOU ?UNITWIDTH)
                (equal ?HOU ?UNITHEIGHT)
                (greaterThan ?WO ?WIDTH)
                (greaterThan ?HO ?HEIGHT)))))		 MilitaryDevices.kif 121-138


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 3.0 is open source software produced by Articulate Software and its partners