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


s__documentation(s__height__m,s__ChineseLanguage,'"一个 Object 的高度是它的顶部和底部之间的距离。"')

chinese_format.kif 2642-2642
s__documentation(s__height__m,s__EnglishLanguage,'"The height of an Object is the distance between its top and its bottom."')

Merge.kif 7162-7163
s__domain(s__height__m,n__1,s__SelfConnectedObject)

Merge.kif 7159-7159 The number 1 argument of height is an instance of self connected object
s__domain(s__height__m,n__2,s__LengthMeasure)

Merge.kif 7160-7160 The number 2 argument of height is an instance of length measure
s__instance(s__BinaryPredicate,s__SetOrClass)

s__instance(s__height__m,s__BinaryPredicate)

Merge.kif 7158-7158 height is an instance of binary predicate
s__subrelation(s__height__m,s__linearExtent__m)

Merge.kif 7157-7157 height is a subrelation of linearExtent

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


s__format(s__ChineseLanguage,s__height__m,'"%1 的 height %n 是 %2"')

chinese_format.kif 619-619
s__format(s__EnglishLanguage,s__height__m,'"the height of %1 is %n %2"')

english_format.kif 625-625
s__termFormat(s__ChineseLanguage,s__height__m,'"高度"')

chinese_format.kif 620-620
s__termFormat(s__ChineseTraditionalLanguage,s__height__m,'"高度"')

domainEnglishFormat.kif 27780-27780
s__termFormat(s__EnglishLanguage,s__height__m,'"height"')

domainEnglishFormat.kif 27779-27779

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


( ! [V__OBJECT,V__HEIGHT,V__BOTTOM,V__TOP] :
   ((s__instance(V__OBJECT,s__SelfConnectedObject) &
       s__instance(V__HEIGHT,s__LengthMeasure) &
       s__instance(V__BOTTOM,s__SelfConnectedObject) &
       s__instance(V__TOP,s__SelfConnectedObject))
     =>
     (s__height(V__OBJECT,V__HEIGHT)
     &
     s__top(V__TOP,V__OBJECT)
   &
   s__bottom(V__BOTTOM,V__OBJECT))
=>
s__distance(V__TOP,V__BOTTOM,V__HEIGHT)
)
)

Merge.kif 9150-9155
( ! [V__HEIGHT,V__ADULT] :
   (s__instance(V__HEIGHT,s__LengthMeasure) =>
     (s__instance(V__ADULT,s__HumanAdult) &
       s__height(V__ADULT,V__HEIGHT))
   =>
   ~(s__greaterThan(V__HEIGHT,s__MeasureFn(n__120,s__Inch)))
)
)

Mid-level-ontology.kif 349-354
( ! [V__BUSH,V__TALL,V__TREE,V__SHORT] :
   ((s__instance(V__TALL,s__LengthMeasure) &
       s__instance(V__SHORT,s__LengthMeasure))
     =>
     (s__instance(V__TREE,s__BotanicalTree) &
       s__instance(V__BUSH,s__Shrub) &
       s__height(V__TREE,V__TALL)
     &
     s__height(V__BUSH,V__SHORT))
=>
s__greaterThan(V__TALL,V__SHORT)
)
)

Geography.kif 5859-5865
( ! [V__mountains,V__height1,V__piedmont,V__height2] :
   ((s__instance(V__mountains,s__SelfConnectedObject) &
       s__instance(V__height1,s__Attribute) &
       s__instance(V__height1,s__LengthMeasure) &
       s__instance(V__height2,s__Attribute) &
       s__instance(V__height2,s__LengthMeasure))
     =>
     (s__instance(V__piedmont,s__Piedmont) &
       s__attribute(V__mountains,s__MountainousTerrain) &
       s__orientation(V__piedmont,V__mountains,s__Adjacent) &
       s__height(V__piedmont,V__height1)
     &
     s__height(V__mountains,V__height2)
   &
   s__successorAttributeClosure(V__height1,V__height2))
=>
s__greaterThan(V__height2,V__height1)
)
)

Geography.kif 3993-4001
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 144-169

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


( ! [V__U,V__F,V__H1,V__H2,V__S1,V__HF,V__S2] :
   ((s__instance(V__U,s__UnitOfMeasure) &
       s__instance(V__F,s__SelfConnectedObject) &
       s__instance(V__H1,s__RealNumber) &
       s__instance(V__H2,s__RealNumber) &
       s__instance(V__S1,s__SelfConnectedObject) &
       s__instance(V__HF,s__RealNumber) &
       s__instance(V__S2,s__SelfConnectedObject))
     =>
     s__attribute(V__F,s__Flat) =>
     (s__side(V__S1,V__F)
     &
     s__side(V__S2,V__F)
   &
   s__meetsSpatially(V__S1,V__S2)
&
~((V__S1 = V__S2))
&
s__height(V__F,s__MeasureFn(V__HF,V__U))
&
s__height(V__S1,s__MeasureFn(V__H1,V__U))
&
s__height(V__S2,s__MeasureFn(V__H2,V__U))
&
s__greaterThan(V__H1,s__MultiplicationFn(n__2,V__HF))
&
s__greaterThan(V__H2,s__MultiplicationFn(n__2,V__HF)))
)
)

Mid-level-ontology.kif 3247-3258
( ! [V__O] :
   (s__instance(V__O,s__SelfConnectedObject) =>
     s__attribute(V__O,s__LevelShape) =>
     ~(( ? [V__P1, V__P2, V__T, V__H1, V__H2] :
         ((s__instance(V__P1,s__SelfConnectedObject) &
             s__instance(V__P2,s__SelfConnectedObject) &
             s__instance(V__T,s__SelfConnectedObject) &
             s__instance(V__H1,s__LengthMeasure) &
             s__instance(V__H2,s__LengthMeasure) &
             (s__top(V__T,V__O)
             &
             s__part(V__P1,V__T)
           &
           s__part(V__P2,V__T)
         &
         s__height(V__P1,V__H1)
       &
       s__height(V__P2,V__H2)
     &
     s__greaterThan(V__H1,V__H2))))))
)
)

Mid-level-ontology.kif 3289-3299
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10982-10989
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 10967-10974
( ! [V__AAV] :
   (s__instance(V__AAV,s__AAV) =>
     (s__length(V__AAV,s__MeasureFn(n__7_94,s__Meter))
     &
     s__width(V__AAV,s__MeasureFn(n__3_27,s__Meter))
   &
   s__weight(V__AAV,s__MeasureFn(n__22_8,s__TonMass))
&
s__height(V__AAV,s__MeasureFn(n__3_26,s__Meter))
&
s__effectiveRange(V__AAV,s__MeasureFn(n__480,s__Kilometer)))
)
)

MilitaryDevices.kif 1662-1674
( ! [V__AGM114] :
   (s__instance(V__AGM114,s__AGM114) =>
     (s__length(V__AGM114,s__MeasureFn(n__1_63,s__Meter))
     &
     s__width(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
   &
   s__height(V__AGM114,s__MeasureFn(n__0_71,s__Meter))
&
s__weight(V__AGM114,s__MeasureFn(n__45,s__Kilogram))
&
s__effectiveRange(V__AGM114,s__MeasureFn(n__8,s__Kilometer)))
)
)

MilitaryDevices.kif 1235-1247
( ! [V__AGM65] :
   (s__instance(V__AGM65,s__AGM65) =>
     (s__length(V__AGM65,s__MeasureFn(n__2_55,s__Meter))
     &
     s__width(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
   &
   s__height(V__AGM65,s__MeasureFn(n__0_7,s__Meter))
&
s__weight(V__AGM65,s__MeasureFn(n__302,s__Kilogram))
&
s__effectiveRange(V__AGM65,s__MeasureFn(n__27,s__Kilometer)))
)
)

MilitaryDevices.kif 1155-1167
( ! [V__AH1] :
   (s__instance(V__AH1,s__AH1) =>
     (s__length(V__AH1,s__MeasureFn(n__17_68,s__Meter))
     &
     s__width(V__AH1,s__MeasureFn(n__14_63,s__Meter))
   &
   s__height(V__AH1,s__MeasureFn(n__4_44,s__Meter))
&
s__weight(V__AH1,s__MeasureFn(n__4634,s__Kilogram))
&
s__effectiveRange(V__AH1,s__MeasureFn(n__587,s__Kilometer)))
)
)

MilitaryDevices.kif 1900-1912
( ! [V__AIM9] :
   (s__instance(V__AIM9,s__AIM9) =>
     (s__length(V__AIM9,s__MeasureFn(n__2_85,s__Meter))
     &
     s__width(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
   &
   s__height(V__AIM9,s__MeasureFn(n__0_63,s__Meter))
&
s__weight(V__AIM9,s__MeasureFn(n__91,s__Kilogram))
&
s__effectiveRange(V__AIM9,s__MeasureFn(n__18,s__Kilometer)))
)
)

MilitaryDevices.kif 1189-1201
( ! [V__CH46D] :
   (s__instance(V__CH46D,s__CH46D) =>
     (s__length(V__CH46D,s__MeasureFn(n__25_72,s__Meter))
     &
     s__width(V__CH46D,s__MeasureFn(n__15_54,s__Meter))
   &
   s__height(V__CH46D,s__MeasureFn(n__5_1,s__Meter))
&
s__weight(V__CH46D,s__MeasureFn(n__7047,s__Kilogram))
&
s__effectiveRange(V__CH46D,s__MeasureFn(n__676,s__Kilometer)))
)
)

MilitaryDevices.kif 1860-1872
( ! [V__CH53E] :
   (s__instance(V__CH53E,s__CH53E) =>
     (s__length(V__CH53E,s__MeasureFn(n__30_2,s__Meter))
     &
     s__width(V__CH53E,s__MeasureFn(n__24_1,s__Meter))
   &
   s__height(V__CH53E,s__MeasureFn(n__8_46,s__Meter))
&
s__weight(V__CH53E,s__MeasureFn(n__15071,s__Kilogram))
&
s__effectiveRange(V__CH53E,s__MeasureFn(n__2000,s__Kilometer)))
)
)

MilitaryDevices.kif 1788-1800
( ! [V__Harrier] :
   (s__instance(V__Harrier,s__Harrier2) =>
     (s__length(V__Harrier,s__MeasureFn(n__14_1,s__Meter))
     &
     s__width(V__Harrier,s__MeasureFn(n__9_2,s__Meter))
   &
   s__height(V__Harrier,s__MeasureFn(n__3_5,s__Meter))
&
s__weight(V__Harrier,s__MeasureFn(n__5700,s__Kilogram))
&
s__effectiveRange(V__Harrier,s__MeasureFn(n__1000,s__Kilometer)))
)
)

MilitaryDevices.kif 1744-1756
( ! [V__LAV] :
   (s__instance(V__LAV,s__LAV25) =>
     (s__length(V__LAV,s__MeasureFn(n__6_39,s__Meter))
     &
     s__width(V__LAV,s__MeasureFn(n__2_5,s__Meter))
   &
   s__height(V__LAV,s__MeasureFn(n__2_69,s__Meter))
&
s__weight(V__LAV,s__MeasureFn(n__12802_8,s__Kilogram))
&
s__effectiveRange(V__LAV,s__MeasureFn(n__660_1,s__Kilometer)))
)
)

MilitaryDevices.kif 1542-1554
No TPTP formula. May not be expressible in strict first order. Economy.kif 4900-4916
( ! [V__HEIGHT,V__UNITWIDTH,V__HOU,V__WOU,V__HO,V__V,V__WO,V__WIDTH,V__UNITHEIGHT] :
   ((s__instance(V__HEIGHT,s__RealNumber) &
       s__instance(V__UNITWIDTH,s__UnitOfMeasure) &
       s__instance(V__HOU,s__UnitOfMeasure) &
       s__instance(V__WOU,s__UnitOfMeasure) &
       s__instance(V__HO,s__RealNumber) &
       s__instance(V__V,s__Vehicle) &
       s__instance(V__WO,s__RealNumber) &
       s__instance(V__WIDTH,s__RealNumber) &
       s__instance(V__UNITHEIGHT,s__UnitOfMeasure))
     =>
     s__maximumPayloadHeightWidth(V__V,s__MeasureFn(V__HEIGHT,V__UNITHEIGHT)
  ,s__MeasureFn(V__WIDTH,V__UNITWIDTH))
=>
~(( ? [V__TP, V__O] :
   ((s__instance(V__O,s__SelfConnectedObject) &
       (s__instance(V__TP,s__Transportation) &
         s__instrument(V__TP,V__V)
       &
       s__patient(V__TP,V__O)
     &
     s__width(V__O,s__MeasureFn(V__WO,V__WOU))
&
s__height(V__O,s__MeasureFn(V__HO,V__HOU))
&
(V__WOU = V__UNITWIDTH)
&
(V__HOU = V__UNITHEIGHT)
&
s__greaterThan(V__WO,V__WIDTH)
&
s__greaterThan(V__HO,V__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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners