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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - On
On(上)

VerbNet: contiguous_location-47.8|cap, contiguous_location-47.8|cap, contiguous_location-47.8|surmount,


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


(documentation On ChineseLanguage "这是用来表示一个物体在另外一个物体的上面,这是一个由上/下模式所 衍生和涉及接触的位置关系") chinese_format.kif 3830-3831
(documentation On EnglishLanguage "This is used to assert that an object is on top of another object, and it is derived from the up/ down schema and involves contact.") Merge.kif 15958-15960
(externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg") pictureList.kif 10186-10186
(instance On AntiSymmetricPositionalAttribute) Merge.kif 15957-15957 AntiSymmetricPositionalAttributeinstance

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


(termFormat ChineseLanguage On "上") domainEnglishFormat.kif 42016-42016
(termFormat ChineseTraditionalLanguage On "上") domainEnglishFormat.kif 42015-42015
(termFormat EnglishLanguage On "on") domainEnglishFormat.kif 42014-42014

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


(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))
Merge.kif 15962-15964
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))
Merge.kif 15966-15968
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 15970-15973

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 15907-15911 客体另一个 客体下面 若且唯若 那个 另外 客体那个 客体那个 另外 客体那个 客体以上
(=>
    (and
        (instance ?D Dismounting)
        (agent ?D ?A)
        (patient ?D ?O))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?D))
            (orientation ?A ?O On))
        (holdsDuring
            (EndFn
                (WhenFn ?D))
            (not
                (orientation ?A ?O On)))))
Mid-level-ontology.kif 17786-17798
(=>
    (and
        (instance ?M Mounting)
        (agent ?M ?A)
        (patient ?M ?O))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?M))
            (not
                (orientation ?A ?O On)))
        (holdsDuring
            (EndFn
                (WhenFn ?M))
            (orientation ?A ?O On))))
Mid-level-ontology.kif 628-639
(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))
Mid-level-ontology.kif 4537-4544
(=>
    (instance ?ATV AllTerrainVehicle)
    (hasPurpose ?ATV
        (exists (?D ?L)
            (and
                (instance ?D Transportation)
                (instrument ?D ?ATV)
                (holdsDuring
                    (WhenFn ?D)
                    (orientation ?ATV ?L On))
                (not
                    (instance ?L Roadway))))))
Cars.kif 4749-4759
(=>
    (instance ?BOARD IroningBoard)
    (hasPurpose ?BOARD
        (exists (?IRON ?FABRIC ?OBJ)
            (and
                (instance ?IRON Ironing)
                (patient ?IRON ?OBJ)
                (part ?FABRIC ?OBJ)
                (instance ?FABRIC Fabric)
                (holdsDuring
                    (WhenFn ?IRON)
                    (orientation ?OBJ ?BOARD On))))))
Mid-level-ontology.kif 23130-23141
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5668-5675
(=>
    (instance ?MAT PrayerMat)
    (hasPurpose ?MAT
        (exists (?PRAY ?PERSON)
            (and
                (instance ?PRAY Praying)
                (agent ?PRAY ?PERSON)
                (instance ?PERSON Human)
                (holdsDuring
                    (WhenFn ?PRAY)
                    (orientation ?PERSON ?MAT On))))))
Mid-level-ontology.kif 23815-23824
(=>
    (instance ?PARK StreetParking)
    (exists (?STREET)
        (and
            (instance ?STREET Street)
            (orientation ?PARK ?STREET On))))
TransportDetail.kif 66-71
(=>
    (instance ?X FourPosterBed)
    (exists (?SHAPE)
        (and
            (attribute ?X ?SHAPE)
            (instance ?SHAPE Quadrilateral)
            (forall (?CORNER)
                (=>
                    (and
                        (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER)
                        (sideOfFigure ?SIDE1 ?SHAPE)
                        (sideOfFigure ?SIDE2 ?SHAPE)
                        (not
                            (equal ?SIDE1 ?SIDE2)))
                    (exists (?POST ?FLOOR)
                        (and
                            (meetsSpatially ?CORNER ?POST)
                            (instance ?POST Artifact)
                            (instance ?FLOOR Floor)
                            (orientation ?X ?FLOOR On)
                            (orientation ?POST ?FLOOR Vertical))))))))
Mid-level-ontology.kif 4551-4570
(=>
    (instance ?X Mattress)
    (hasPurpose ?X
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (orientation ?PERSON ?X On)))))
Mid-level-ontology.kif 4524-4530
(=>
    (onOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X On))))
Hotel.kif 895-900
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 15970-15973


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