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, 下面

VerbNet: contiguous_location-47.8|underlie,


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


(documentation Below ChineseLanguage "这是一个由上/下模式所衍生的 PositionalAttribute,而两者 有可能但也不可能有接触。注:这是指直接在下面,也就是说如果一个物体在另外一个物体的 Below 的话, 那么这两个物体的投影就会交叠。") chinese_format.kif 3819-3821
(documentation Below 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 15782-15785
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg") pictureList.kif 10534-10534 "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower-crane-below.jpg") pictureList.kif 10532-10532 "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower-crane-below.jpg" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg") pictureList.kif 10535-10535 "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG") pictureList.kif 10529-10529 "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG") pictureList.kif 10536-10536 "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") pictureList.kif 9924-9924 "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg") pictureList.kif 10531-10531 "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG") pictureList.kif 10533-10533 "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG" is a URL depicting below
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG") pictureList.kif 10530-10530 "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG" is a URL depicting below
(instance Below AntiSymmetricPositionalAttribute) Merge.kif 15781-15781 Below is an instance of AntiSymmetricPositionalAttribute
(instance Below PositionalAttribute) Merge.kif 15780-15780 Below is an instance of positional attribute

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


(contraryAttribute Above Below) Merge.kif 15769-15769 Above is the opposite of below
(termFormat ChineseLanguage Below "下面") domainEnglishFormat.kif 10651-10651 "下面" is the printable form of below in ChineseLanguage
(termFormat ChineseTraditionalLanguage Below "下面") domainEnglishFormat.kif 10650-10650 "下面" is the printable form of below in ChineseTraditionalLanguage
(termFormat EnglishLanguage Below "below") domainEnglishFormat.kif 10649-10649 "below" is the printable form of below in english language

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 15787-15791 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
(=>
    (and
        (instance ?place UndergroundArea)
        (earthAltitude ?place ?alt1)
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area ?alt2))
    (greaterThan ?alt2 ?alt1))
Geography.kif 3794-3802

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


(=>
    (and
        (instance ?CHIN Chin)
        (instance ?FACE Face)
        (part ?CHIN ?FACE))
    (forall (?PART)
        (=>
            (and
                (part ?PART ?FACE)
                (not
                    (part ?PART ?CHIN)))
            (orientation ?PART ?CHIN Below))))
Mid-level-ontology.kif 10539-10550
(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))
Merge.kif 10686-10691
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (subProposition ?X Archeology)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O ?T)
            (greaterThan ?T
                (MeasureFn 50 YearDuration))
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?D))
                (or
                    (and
                        (surface ?S ?W)
                        (instance ?W BodyOfWater)
                        (orientation ?O ?S Below))
                    (and
                        (surface ?S ?L)
                        (instance ?L LandArea)
                        (orientation ?O ?S Below)))))))
Mid-level-ontology.kif 18838-18867
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))
Merge.kif 9021-9026
(=>
    (attribute ?X LoftStyle)
    (exists (?FLOOR ?LOFT ?CEILING)
        (and
            (bottom ?FLOOR ?X)
            (top ?CEILING ?X)
            (instance ?LOFT StationaryArtifact)
            (orientation ?LOFT ?FLOOR Above)
            (orientation ?LOFT ?CEILING Below))))
Hotel.kif 1114-1122
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))
Merge.kif 7212-7214
(=>
    (instance ?BASEMENT Basement)
    (not
        (exists (?LEVEL ?BUILDING)
            (and
                (instance ?LEVEL BuildingLevel)
                (instance ?BUILDING Building)
                (part ?LEVEL ?BUILDING)
                (part ?BASEMENT ?BUILDING)
                (not
                    (equal ?LEVEL ?BASEMENT))
                (orientation ?LEVEL ?BASEMENT Below)))))
Mid-level-ontology.kif 13095-13104
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5669-5676
(=>
    (instance ?SCUBA ScubaDiving)
    (exists (?WATER ?DEVICE ?BREATH)
        (and
            (instance ?WATER WaterArea)
            (orientation ?SCUBA ?WATER Below)
            (instance ?DEVICE Device)
            (instance ?BREATH Breathing)
            (instrument ?BREATH ?DEVICE)
            (subProcess ?BREATH ?SCUBA))))
Mid-level-ontology.kif 25077-25086
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))
Transportation.kif 325-330
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3786-3792
(=>
    (orientation ?OBJ1 ?OBJ2 Downstairs)
    (exists (?LEVEL1 ?LEVEL2 ?BUILDING)
        (and
            (instance ?LEVEL1 BuildingLevel)
            (instance ?LEVEL2 BuildingLevel)
            (instance ?BUILDING Building)
            (part ?LEVEL1 ?BUILDING)
            (part ?LEVEL2 ?BUILDING)
            (located ?OBJ1 ?LEVEL1)
            (located ?OBJ2 ?LEVEL2)
            (orientation ?LEVEL1 ?LEVEL2 Below))))
Mid-level-ontology.kif 17020-17031


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