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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Below
Below(below)
more pictures...
at_a_lower_place, below, belowground, beneath, down, fourth_deck, infra, lower, lower_berth, lower_deck, lowered, nether, orlop, orlop_deck, submarine, submerged, submersed, subocean, suboceanic, thereunder, third_deck, to_a_lower_place, under, under_it, under_that, underlie, underlying, underneath, undersea, underwater

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


s__documentation(s__Below,s__ChineseLanguage,'"这是一个由上/下模式所衍生的 PositionalAttribute,而两者 有可能但也不可能有接触。注:这是指直接在下面,也就是说如果一个物体在另外一个物体的 Below 的话, 那么这两个物体的投影就会交叠。"')

chinese_format.kif 3819-3821
s__documentation(s__Below,s__EnglishLanguage,'"This PositionalAttribute is derived from the up/ down schema and may or may not involve contact. Note that this means directly below, i.e., if one object is Below another object, then the projections of the two objects overlap."')

Merge.kif 16401-16404
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg"')

pictureList.kif 10532-10532
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower-crane-below.jpg"')

pictureList.kif 10530-10530
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg"')

pictureList.kif 10533-10533
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG"')

pictureList.kif 10527-10527
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG"')

pictureList.kif 10534-10534
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg"')

pictureList.kif 9923-9923
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg"')

pictureList.kif 10529-10529
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG"')

pictureList.kif 10531-10531
s__externalImage(s__Below,'"http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG"')

pictureList.kif 10528-10528
s__instance(s__AntiSymmetricPositionalAttribute,s__Class)

s__instance(s__Below,s__AntiSymmetricPositionalAttribute)

Merge.kif 16400-16400 Below is an instance of AntiSymmetricPositionalAttribute
s__instance(s__Below,s__PositionalAttribute)

s__instance(s__PositionalAttribute,s__Class)

Merge.kif 16399-16399 Below is an instance of positional attribute

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


s__contraryAttribute__2(s__Above,s__Below)

Merge.kif 16388-16388 Above is the opposite of below
s__termFormat(s__ChineseLanguage,s__Below,'"下面"')

domainEnglishFormat.kif 10712-10712
s__termFormat(s__ChineseTraditionalLanguage,s__Below,'"下面"')

domainEnglishFormat.kif 10711-10711
s__termFormat(s__EnglishLanguage,s__Below,'"below"')

domainEnglishFormat.kif 10710-10710

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Below) =>
             (s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above)))
           &
           ((s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Below)))))
     )
   )

Merge.kif 16406-16410 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
( ! [V__ground,V__alt1,V__place,V__U,V__area,V__alt2] :
   (((s__instance(V__ground,s__SelfConnectedObject) &
         s__instance(V__alt1,s__RealNumber) &
         s__instance(V__area,s__Object) &
         s__instance(V__alt2,s__RealNumber))
       =>
       (((s__instance(V__place,s__UndergroundArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__place,s__MeasureFn(V__alt1,V__U))
         &
         s__surface(V__ground,s__PlanetEarth) &
         s__part(V__area,V__ground)
       &
       s__orientation(V__place,V__area,s__Below) &
       s__earthAltitude(V__area,s__MeasureFn(V__alt2,V__U)))
=>
(s__greaterThan(V__alt2,V__alt1)))))
)
)

Geography.kif 3837-3848

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


( ! [V__FACE,V__CHIN] :
   (((s__instance(V__CHIN,s__Chin) &
         s__instance(V__FACE,s__Face) &
         s__part(V__CHIN,V__FACE))
     =>
     (( ! [V__PART] :
         ((s__instance(V__PART,s__Object) =>
             (((s__part(V__PART,V__FACE)
                 &
                 ~(s__part(V__PART,V__CHIN)))
             =>
             (s__orientation(V__PART,V__CHIN,s__Below)))))))))
)
)

Mid-level-ontology.kif 12128-12139
( ! [V__FINISH,V__START,V__DROP] :
   (((s__instance(V__FINISH,s__Object) &
         s__instance(V__START,s__Object))
       =>
       (((s__instance(V__DROP,s__Falling) &
             s__origin(V__DROP,V__START)
           &
           s__destination(V__DROP,V__FINISH))
       =>
       (s__orientation(V__FINISH,V__START,s__Below)))))
)
)

Merge.kif 11093-11098
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20129-20158
( ! [V__OBJECT,V__TOP,V__PART] :
   (((s__instance(V__OBJECT,s__SelfConnectedObject) &
         s__instance(V__TOP,s__SelfConnectedObject) &
         s__instance(V__PART,s__Object))
       =>
       (((s__top(V__TOP,V__OBJECT)
           &
           s__part(V__PART,V__OBJECT)
         &
         ~(s__connected(V__PART,V__TOP)))
     =>
     (s__orientation(V__PART,V__TOP,s__Below)))))
)
)

Merge.kif 9334-9339
( ! [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__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__depth(V__OBJ1,V__OBJ2,V__DEPTH)
         =>
         (s__orientation(V__OBJ1,V__OBJ2,s__Below)))))
   )
)

Merge.kif 7514-7516
( ! [V__BASEMENT] :
   ((s__instance(V__BASEMENT,s__Basement) =>
       (~(( ? [V__LEVEL, V__BUILDING] :
             ((s__instance(V__LEVEL,s__BuildingLevel) &
                 s__instance(V__BUILDING,s__Building) &
                 s__part(V__LEVEL,V__BUILDING)
               &
               s__part(V__BASEMENT,V__BUILDING)
             &
             ~((V__LEVEL = V__BASEMENT))
             &
             s__orientation(V__LEVEL,V__BASEMENT,s__Below)))))))
)
)

Mid-level-ontology.kif 14576-14585
( ! [V__LAND] :
   ((s__instance(V__LAND,s__SubmergedLandArea) =>
       (( ? [V__WATER] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__orientation(V__LAND,V__WATER,s__Below) &
               s__orientation(V__WATER,V__LAND,s__On) &
               s__meetsSpatially(V__LAND,V__WATER))))))
   )
)

Geography.kif 5854-5861
( ! [V__SCUBA] :
   ((s__instance(V__SCUBA,s__ScubaDiving) =>
       (( ? [V__WATER, V__DEVICE, V__BREATH] :
           ((s__instance(V__WATER,s__WaterArea) &
               s__orientation(V__SCUBA,V__WATER,s__Below) &
               s__instance(V__DEVICE,s__Device) &
               s__instance(V__BREATH,s__Breathing) &
               s__instrument(V__BREATH,V__DEVICE)
             &
             s__subProcess(V__BREATH,V__SCUBA))))))
)
)

Mid-level-ontology.kif 25921-25930
( ! [V__X] :
   ((s__instance(V__X,s__SubwaySystem) =>
       (( ? [V__SURF] :
           ((s__instance(V__SURF,s__SelfConnectedObject) &
               (s__surface(V__SURF,s__GeographicArea) &
                 s__orientation(V__X,V__SURF,s__Below)))))))
     )
   )

Transportation.kif 328-333
( ! [V__place] :
   ((s__instance(V__place,s__UndergroundArea) =>
       (( ? [V__area, V__ground] :
           ((s__instance(V__area,s__Object) &
               s__instance(V__ground,s__SelfConnectedObject) &
               (s__surface(V__ground,s__PlanetEarth) &
                 s__part(V__area,V__ground)
               &
               s__orientation(V__place,V__area,s__Below)))))))
   )
)

Geography.kif 3829-3835
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__orientation(V__OBJ1,V__OBJ2,s__Downstairs) =>
           (( ? [V__LEVEL1, V__LEVEL2, V__BUILDING] :
               ((s__instance(V__LEVEL1,s__BuildingLevel) &
                   s__instance(V__LEVEL2,s__BuildingLevel) &
                   s__instance(V__BUILDING,s__Building) &
                   s__part(V__LEVEL1,V__BUILDING)
                 &
                 s__part(V__LEVEL2,V__BUILDING)
               &
               s__located(V__OBJ1,V__LEVEL1)
             &
             s__located(V__OBJ2,V__LEVEL2)
           &
           s__orientation(V__LEVEL1,V__LEVEL2,s__Below))))))))
)
)

Mid-level-ontology.kif 18270-18281


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