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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Below
Below(下面)
more pictures...

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 17246-17249
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/01/ Newmarket_Viaduct_From_Below.jpg") pictureList.kif 10511-10511
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/0/0c/ Tower_crane_below.jpg") pictureList.kif 10509-10509
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/2/2a/ London_Eye_From_Below.jpg") pictureList.kif 10512-10512
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/3/3b/ StPauls_below.JPG") pictureList.kif 10506-10506
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/6/63/ The_Center_from_below.JPG") pictureList.kif 10513-10513
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/7/7c/ S%26M_Dungeon_7_by_David_Shankbone.jpg") pictureList.kif 9905-9905
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/8/8b/ Dragon_tree_below.jpg") pictureList.kif 10508-10508
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/d/d5/ Electricity_pylon_from_below.JPG") pictureList.kif 10510-10510
(externalImage Below "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Skogafoss_from_below.JPG") pictureList.kif 10507-10507
(instance Below AntiSymmetricPositionalAttribute) Merge.kif 17245-17245 例 下面 and AntiSymmetricPositionalAttribute
(instance Below PositionalAttribute) Merge.kif 17244-17244 例 下面 and PositionalAttribute

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


(contraryAttribute Above Below) Merge.kif 17233-17233 相反的屬性 以上 and 下面
(termFormat ChineseLanguage Below "下面") domainEnglishFormat.kif 10710-10710 相反的屬性 以上 and 下面
(termFormat ChineseTraditionalLanguage Below "下面") domainEnglishFormat.kif 10709-10709 相反的屬性 以上 and 下面
(termFormat EnglishLanguage Below "below") domainEnglishFormat.kif 10708-10708 相反的屬性 以上 and 下面
(termFormat tg Below "sa ibaba") terms-tg.txt 534-534 相反的屬性 以上 and 下面

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 17251-17255 方位 Object, Object and 下面 方位 Object, Object and 上 方位 Object, Object and 以上
(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))		 Geography.kif 4069-4080

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 14261-14272
(=>
    (and
        (instance ?DROP Falling)
        (origin ?DROP ?START)
        (destination ?DROP ?FINISH))
    (orientation ?FINISH ?START Below))		 Merge.kif 11722-11727
(=>
    (and
        (instance ?OF OccludedFront)
        (instance ?C AirMass)
        (origin ?OF ?C)
        (airTemperature ?C
            (MeasureFn ?X CelsiusDegree))
        (instance ?W AirMass)
        (airTemperature ?W
            (MeasureFn ?Y CelsiusDegree))
        (lessThan ?X ?Y)
        (moves ?OF ?W))
    (orientation ?C ?W Below))		 Weather.kif 900-912
(=>
    (and
        (instance ?P ThreeDPrinting)
        (instance ?O Artifact)
        (result ?P ?O))
    (exists (?A ?X ?B ?Y)
        (and
            (instance ?A Making)
            (subProcess ?A ?P)
            (instance ?X SelfConnectedObject)
            (part ?X ?O)
            (result ?A ?X)
            (instance ?B Making)
            (subProcess ?B ?P)
            (instance ?Y SelfConnectedObject)
            (part ?Y ?O)
            (overlapsSpatially ?X ?Y)
            (orientation ?X ?Y Below)
            (during
                (WhenFn ?A)
                (WhenFn ?P))
            (during
                (WhenFn ?B)
                (WhenFn ?P))
            (earlier
                (WhenFn ?A)
                (WhenFn ?B)))))		 QoSontology.kif 537-563
(=>
    (and
        (instance ?X Argument)
        (instance ?R Reasoning)
        (instance ?A Archeology)
        (subProposition ?X ?A)
        (realization ?R ?X))
    (exists (?D ?S ?O ?T ?W ?L)
        (and
            (instance ?D Discovering)
            (instance ?O Object)
            (patient ?D ?O)
            (refers ?R ?D)
            (earlier
                (WhenFn ?D)
                (WhenFn ?R))
            (age ?O
                (MeasureFn ?T YearDuration))
            (greaterThan ?T 50)
            (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 22764-22794
(=>
    (and
        (top ?TOP ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?TOP)))
    (orientation ?PART ?TOP Below))		 Merge.kif 9853-9858
(=>
    (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 1165-1173
(=>
    (depth ?OBJ1 ?OBJ2 ?DEPTH)
    (orientation ?OBJ1 ?OBJ2 Below))		 Merge.kif 7806-7808
(=>
    (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 16784-16793
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))		 Geography.kif 6142-6149
(=>
    (instance ?R UnderwaterRegion)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?R ?WATER Below))))		 Mid-level-ontology.kif 19229-19234
(=>
    (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 28803-28812
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))		 Transportation.kif 328-333
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))		 Geography.kif 4061-4067
(=>
    (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 20808-20819


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