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 "这是用来表示一个物体在另外一个物体的上面,这是一个由上/下模式所 衍生和涉及接触的位置关系") Merge.kif 21870-21871
(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 21867-21869
(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 21866-21866

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


(termFormat ChineseLanguage On "上") domainEnglishFormat.kif 42019-42019
(termFormat ChineseTraditionalLanguage On "上") domainEnglishFormat.kif 42018-42018
(termFormat EnglishLanguage On "on") domainEnglishFormat.kif 42017-42017

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


(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))
Merge.kif 21873-21875
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))
Merge.kif 21877-21879
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 21881-21884

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 21808-21812
(=>
    (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 17760-17772
(=>
    (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 629-640
(=>
    (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 4739-4749
(=>
    (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 23093-23104
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5653-5660
(=>
    (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 23778-23787
(=>
    (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 ?BED ?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 891-896
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 21881-21884


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