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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Above
Above

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


(contraryAttribute Above Below) Merge.kif 15769-15769 contraryAttribute Above and Below
(documentation Above ChineseLanguage "这是一个由上/下模式所衍生和非接触的 PositionalAttribute。 注：这是指直接在上面，也就是说如果一个物体在另外一个物体的 Above 的话，那么这两个物体的投影就会交叠。") chinese_format.kif 3817-3818
(documentation Above EnglishLanguage "This is a PositionalAttribute derived from the up/ down schema and not involving contact. Note that this means directly above, i.e., if one object is Above another object, then the projections of the two objects overlap.") Merge.kif 15770-15773
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg") pictureList.kif 10371-10371 externalImage Above and "http://upload.wikimedia.org/wikipedia/commons/6/62/ Herodium_from_above.jpg"
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg") pictureList.kif 10370-10370 externalImage Above and "http://upload.wikimedia.org/wikipedia/commons/8/89/ ATLAS_Above.jpg"
(externalImage Above "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg") pictureList.kif 10372-10372 externalImage Above and "http://upload.wikimedia.org/wikipedia/commons/c/c9/ Above_the_clouds.jpg"
(instance Above AntiSymmetricPositionalAttribute) Merge.kif 15768-15768 instance Above and AntiSymmetricPositionalAttribute
(instance Above PositionalAttribute) Merge.kif 15767-15767 instance Above and PositionalAttribute

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


(termFormat ChineseLanguage Above "以上") domainEnglishFormat.kif 5105-5105 termFormat ChineseLanguage, Above and "以上"
(termFormat ChineseTraditionalLanguage Above "以上") domainEnglishFormat.kif 5104-5104 termFormat ChineseTraditionalLanguage, Above and "以上"
(termFormat EnglishLanguage Above "above") domainEnglishFormat.kif 5103-5103 termFormat EnglishLanguage, Above and "above"

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


(=>
    (orientation ?OBJ1 ?OBJ2 Above)
    (not
        (connected ?OBJ1 ?OBJ2)))		 Merge.kif 15775-15778

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))		 Merge.kif 15787-15791 orientation Object, Object and Below orientation Object, Object and On orientation Object, Object and Above
(=>
    (altitude ?OBJ1 ?OBJ2 ?HEIGHT)
    (orientation ?OBJ1 ?OBJ2 Above))		 Merge.kif 7191-7193
(=>
    (and
        (bottom ?BOTTOM ?OBJECT)
        (part ?PART ?OBJECT)
        (not
            (connected ?PART ?BOTTOM)))
    (orientation ?PART ?BOTTOM Above))		 Merge.kif 9006-9011
(=>
    (and
        (instance ?FALL Waterfall)
        (instance ?CURRENT WaterMotion)
        (flowCurrent ?CURRENT ?FALL)
        (origin ?CURRENT ?TOP)
        (destination ?CURRENT ?BOTTOM)
        (instance ?TOP WaterArea)
        (instance ?BOTTOM WaterArea))
    (orientation ?TOP ?BOTTOM Above))		 Geography.kif 5239-5248
(=>
    (and
        (instance ?area LandArea)
        (groundSurfaceType ?area ?type1)
        (groundSubsurfaceType ?area ?type2))
    (exists (?above ?below)
        (and
            (instance ?above ?type1)
            (instance ?below ?type2)
            (orientation ?above ?below Above))))		 Geography.kif 4067-4076
(=>
    (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
(=>
    (holdsDuring ?T
        (attribute ?L Cloudy))
    (exists (?C)
        (and
            (instance ?C Cloud)
            (holdsDuring ?T
                (orientation ?C ?L Above)))))		 Mid-level-ontology.kif 28452-28459
(=>
    (instance ?BALCONY Balcony)
    (exists (?WALL ?LANDAREA)
        (and
            (meetsSpatially ?WALL ?BALCONY)
            (instance ?LANDAREA LandArea)
            (located ?WALL ?LANDAREA)
            (orientation ?BALCONY ?LANDAREA Above))))		 Mid-level-ontology.kif 13069-13076
(=>
    (instance ?SHOWER Shower)
    (exists (?X ?FLOOR)
        (and
            (or
                (instance ?X Wall)
                (instance ?X Ceiling))
            (connected ?SHOWER ?X)
            (instance ?FLOOR Floor)
            (orientation ?SHOWER ?FLOOR Above))))		 Mid-level-ontology.kif 2492-2501
(=>
    (instance ?X BunkBed)
    (exists (?BED1 ?BED2)
        (and
            (instance ?BED1 SingleBed)
            (instance ?BED2 SingleBed)
            (part ?BED1 ?X)
            (part ?BED2 ?X)
            (orientation ?BED1 ?BED2 Above))))		 Mid-level-ontology.kif 4404-4412
(=>
    (instance ?X Hammock)
    (and
        (material Fabric ?X)
        (exists (?POLE1 ?POLE2 ?GROUND)
            (and
                (orientation ?POLE1 ?POLE2 Near)
                (connected ?POLE1 ?X)
                (connected ?POLE2 ?X)
                (instance ?GROUND LandArea)
                (located ?X ?GROUND)
                (orientation ?X ?GROUND Above)))))		 Mid-level-ontology.kif 4484-4495
(=>
    (orientation ?OBJ1 ?OBJ2 Upstairs)
    (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 Above))))		 Mid-level-ontology.kif 17003-17014


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