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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - bottom
bottom

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


s__documentation(s__bottom__m,s__ChineseLanguage,'"(bottom ?BOTTOM ?OBJECT)的说法可以成立,如果 ?BOTTOM 是 ?OBJECT 最低或最深的最大的表面部分。"')

chinese_format.kif 2843-2844
s__documentation(s__bottom__m,s__EnglishLanguage,'"(bottom ?BOTTOM ?OBJECT) holds if ?BOTTOM is the lowest or deepest maximal superficial part of ?OBJECT."')

Merge.kif 9326-9327
s__domain(s__bottom__m,n__1,s__SelfConnectedObject)

Merge.kif 9323-9323 The number 1 argument of bottom is an instance of self connected object
s__domain(s__bottom__m,n__2,s__SelfConnectedObject)

Merge.kif 9324-9324 The number 2 argument of bottom is an instance of self connected object
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__bottom__m,s__BinaryPredicate)

Merge.kif 9322-9322 bottom is an instance of binary predicate
s__subrelation(s__bottom__m,s__superficialPart__m)

Merge.kif 9321-9321 bottom is a subrelation of superficial part

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


s__format(s__ChineseLanguage,s__bottom__m,'"%2 的 bottom %n 是 %1"')

chinese_format.kif 359-359
s__format(s__EnglishLanguage,s__bottom__m,'"the bottom of %2 is %n %1"')

english_format.kif 362-362
s__termFormat(s__ChineseLanguage,s__bottom__m,'"底部"')

chinese_format.kif 360-360
s__termFormat(s__ChineseTraditionalLanguage,s__bottom__m,'"底部"')

domainEnglishFormat.kif 11749-11749
s__termFormat(s__EnglishLanguage,s__bottom__m,'"bottom"')

domainEnglishFormat.kif 11748-11748

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


( ! [V__OBJECT,V__BOTTOM,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__bottom(V__BOTTOM,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__BOTTOM)))
     =>
     (s__orientation(V__PART,V__BOTTOM,s__Above)))))
)
)

Merge.kif 9329-9334
( ! [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 9382-9387
( ! [V__BOTTOM,V__U,V__WIDTH2,V__WIDTH1,V__TOP,V__BOTTLE] :
   (((s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__WIDTH2,s__RealNumber) &
         s__instance(V__WIDTH1,s__RealNumber) &
         s__instance(V__TOP,s__SelfConnectedObject))
       =>
       (((s__instance(V__BOTTLE,s__Bottle) &
             s__bottom(V__BOTTOM,V__BOTTLE)
           &
           s__top(V__TOP,V__BOTTLE)
         &
         s__instance(V__U,s__UnitOfLength) &
         s__width(V__BOTTOM,s__MeasureFn(V__WIDTH1,V__U))
     &
     s__width(V__TOP,s__MeasureFn(V__WIDTH2,V__U)))
=>
(s__lessThan(V__WIDTH2,V__WIDTH1)))))
)
)

Mid-level-ontology.kif 4415-4425
( ! [V__BOTTOM,V__RAPIDS] :
   ((s__instance(V__BOTTOM,s__SelfConnectedObject) =>
       (((s__instance(V__RAPIDS,s__Rapids) &
             s__bottom(V__BOTTOM,V__RAPIDS))
         =>
         (( ? [V__ROCK] :
             ((s__instance(V__ROCK,s__Rock) &
                 s__part(V__ROCK,V__BOTTOM))))))))
)
)

Geography.kif 5428-5435
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16789-16794

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16789-16794
( ! [V__A,V__R,V__T,V__TRAN] :
   (((s__instance(V__T,s__Tornado) &
         s__instance(V__R,s__Rotating) &
         s__instance(V__A,s__Air) &
         s__instance(V__TRAN,s__Translocation) &
         s__subProcess(V__R,V__T)
       &
       s__subProcess(V__TRAN,V__R)
     &
     s__patient(V__TRAN,V__A)
   &
   s__direction(V__TRAN,s__Horizontal))
=>
(( ? [V__G, V__FUNNEL, V__TOP, V__BOTTOM, V__C, V__BASE] :
     ((s__instance(V__FUNNEL,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__BOTTOM,s__SelfConnectedObject) &
         s__instance(V__BASE,s__SelfConnectedObject) &
         (s__instance(V__G,s__GeographicArea) &
           s__eventLocated(V__T,V__G)
         &
         s__part(V__FUNNEL,V__A)
       &
       s__attribute(V__FUNNEL,s__ConeSegment) &
       s__top(V__TOP,V__FUNNEL)
     &
     s__bottom(V__BOTTOM,V__FUNNEL)
   &
   s__instance(V__C,s__Cloud) &
   s__bottom(V__BASE,V__C)
&
s__meetsSpatially(V__TOP,V__BASE)
&
s__meetsSpatially(V__BOTTOM,V__G)))))))
)
)

Weather.kif 1650-1671
( ! [V__X] :
   ((s__instance(V__X,s__SelfConnectedObject) =>
       ((s__attribute(V__X,s__LoftStyle) =>
           (( ? [V__FLOOR, V__LOFT, V__CEILING] :
               ((s__instance(V__FLOOR,s__SelfConnectedObject) &
                   s__instance(V__CEILING,s__SelfConnectedObject) &
                   (s__bottom(V__FLOOR,V__X)
                   &
                   s__top(V__CEILING,V__X)
                 &
                 s__instance(V__LOFT,s__StationaryArtifact) &
                 s__orientation(V__LOFT,V__FLOOR,s__Above) &
                 s__orientation(V__LOFT,V__CEILING,s__Below)))))))))
)
)

Hotel.kif 1135-1143
( ! [V__DEPTH,V__OBJ1,V__OBJ2] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__OBJ1,s__SelfConnectedObject) &
         s__instance(V__OBJ2,s__Physical))
       =>
       ((s__depth(V__OBJ1,V__OBJ2,V__DEPTH)
         =>
         (( ? [V__BOTTOM] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 (s__bottom(V__BOTTOM,V__OBJ1)
                 &
                 s__distance(V__BOTTOM,V__OBJ2,V__DEPTH)))))))))
)
)

Merge.kif 7526-7531
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 4349-4357
( ! [V__IRON] :
   ((s__instance(V__IRON,s__FabricIron) =>
       (( ? [V__BASE] :
           ((s__instance(V__BASE,s__CorpuscularObject) &
               (s__bottom(V__BASE,V__IRON)
               &
               s__material(s__Metal,V__BASE)
             &
             s__attribute(V__BASE,s__Flat)))))))
)
)

Mid-level-ontology.kif 24376-24382
( ! [V__SS] :
   ((s__instance(V__SS,s__ShoeSole) =>
       (( ? [V__S] :
           ((s__instance(V__S,s__Shoe) &
               s__bottom(V__SS,V__S))))))
   )
)

Mid-level-ontology.kif 4898-4903
( ! [V__incline] :
   ((s__instance(V__incline,s__SlopedArea) =>
       (( ? [V__top, V__bottom, V__height1, V__height2, V__U] :
           ((s__instance(V__top,s__SelfConnectedObject) &
               s__instance(V__bottom,s__SelfConnectedObject) &
               s__instance(V__height1,s__RealNumber) &
               s__instance(V__height2,s__RealNumber) &
               (s__top(V__top,V__incline)
               &
               s__bottom(V__bottom,V__incline)
             &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__top,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__bottom,s__MeasureFn(V__height2,V__U))
     &
     s__greaterThan(V__height1,V__height2)))))))
)
)

Geography.kif 3945-3956
No TPTP formula. May not be expressible in strict first order. Weather.kif 2823-2848
No TPTP formula. May not be expressible in strict first order. Weather.kif 3028-3055
( ! [V__DEPTH,V__AREA] :
   (((s__instance(V__DEPTH,s__LengthMeasure) &
         s__instance(V__AREA,s__SelfConnectedObject) &
         s__instance(V__AREA,s__WaterArea))
       =>
       ((s__waterDepth(V__AREA,V__DEPTH)
         =>
         (( ? [V__BOTTOM, V__TOP] :
             ((s__instance(V__BOTTOM,s__SelfConnectedObject) &
                 s__instance(V__TOP,s__SelfConnectedObject) &
                 (s__depth(V__TOP,V__BOTTOM,V__DEPTH)
                 &
                 s__top(V__TOP,V__AREA)
               &
               s__bottom(V__BOTTOM,V__AREA)))))))))
)
)

Mid-level-ontology.kif 16844-16850


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