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 的高度是它的顶部和底部之间的距离。") Merge.kif 7791-7791
(documentation height EnglishLanguage "The height of an Object is the distance between its top and its bottom.") Merge.kif 7789-7790
(domain height 1 SelfConnectedObject) Merge.kif 7787-7787 The number 1 argument of height is an instance of self connected object
(domain height 2 LengthMeasure) Merge.kif 7788-7788 The number 2 argument of height is an instance of length measure
(instance height BinaryPredicate) Merge.kif 7786-7786 height is an instance of binary predicate
(subrelation height linearExtent) Merge.kif 7785-7785 height is a subrelation of linearExtent

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 385-385
(termFormat ChineseLanguage height "高度") chinese_format.kif 620-620 "高度" is the printable form of height in ChineseLanguage
(termFormat EnglishLanguage height "height") domainEnglishFormat.kif 5064-5064 "height" is the printable form of height in english language

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


(=>
    (and
        (height ?OBJECT ?HEIGHT)
        (top ?TOP ?OBJECT)
        (bottom ?BOTTOM ?OBJECT))
    (distance ?TOP ?BOTTOM ?HEIGHT))
Merge.kif 9786-9791
(=>
    (and
        (instance ?ADULT HumanAdult)
        (height ?ADULT ?HEIGHT))
    (not
        (greaterThan ?HEIGHT
            (MeasureFn 120 Inch))))
Mid-level-ontology.kif 350-355
(=>
    (and
        (instance ?TREE BotanicalTree)
        (instance ?BUSH Shrub)
        (height ?TREE ?TALL)
        (height ?BUSH ?SHORT))
    (greaterThan ?TALL ?SHORT))
Geography.kif 5844-5850
(=>
    (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 3980-3988
(=>
    (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 143-168

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 3252-3263
(=>
    (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 3294-3304
(=>
    (defaultMaximumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (greaterThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10976-10983
(=>
    (defaultMinimumHeight ?OBJECT ?H)
    (modalAttribute
        (exists (?INST)
            (and
                (instance ?INST ?OBJECT)
                (height ?INST ?HEIGHT)
                (lessThan ?HEIGHT ?H))) Unlikely))
Mid-level-ontology.kif 10961-10968
(=>
    (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 1661-1673
(=>
    (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 1234-1246
(=>
    (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 1154-1166
(=>
    (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 1899-1911
(=>
    (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 1188-1200
(=>
    (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 1859-1871
(=>
    (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 1787-1799
(=>
    (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 1743-1755
(=>
    (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 1541-1553
(=>
    (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 120-137


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