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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Below

Sigma KEE - Below
Below
more pictures...
下铺, 下甲板, 在下面+的, 海面下+的, 在水下+的, 在水中+的, 水下+的, 沉没+的, 淹没+的,

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


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

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


(contraryAttribute Above Below) Merge.kif 17361-17361
(termFormat EnglishLanguage Below "below") domainEnglishFormat.kif 2208-2208
(termFormat tg Below "sa ibaba") terms-tg.txt 534-534

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17384-17388
(=>
    (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 3781-3789

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


(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))
Merge.kif 11477-11482
(=>
    (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 18779-18808
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))
Merge.kif 9689-9694
(=>
    (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 1110-1118
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))
Merge.kif 7923-7925
(=>
    (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 13096-13105
(=>
    (instance ?CHIN Chin)
    (forall (?PART)
        (=>
            (and
                (part ?PART ?FACE)
                (not
                    (part ?PART ?CHIN)))
            (orientation ?PART ?CHIN Below))))
Mid-level-ontology.kif 10537-10544
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5654-5661
(=>
    (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 24996-25005
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))
Mid-level-ontology.kif 20425-20430
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))
Geography.kif 3773-3779
(=>
    (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 16989-17000


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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