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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - On
On(on)
aboveground, ahorse, ahorseback, cap, capped, crest, crowned, grade-constructed, horseback, on, overlying, sa_ibabaw, superimposed, superincumbent, surface, surmount, surmounted

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


(documentation On ChineseLanguage "这是用来表示一个物体在另外一个物体的上面,这是一个由上/下模式所 衍生和涉及接触的位置关系") Merge.kif 17360-17361
(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 17357-17359
(externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg") pictureList.kif 10186-10186 "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Pink_and_grey_galahs_on_power_lines.jpg" is a URL depicting on
(instance On AntiSymmetricPositionalAttribute) Merge.kif 17356-17356 On is an instance of AntiSymmetricPositionalAttribute

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


(termFormat EnglishLanguage On "on") domainEnglishFormat.kif 7437-7437 "on" is the printable form of on in english language
(termFormat tg On "sa ibabaw") terms-tg.txt 539-539 "sa ibabaw" is the printable form of on in tg

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


(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))
Merge.kif 17363-17365
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))
Merge.kif 17367-17369
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 17371-17374

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 17298-17302 An object is below to another object if and only if the other object is on to the object or the other object is above to the object
(=>
    (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 17400-17412
(=>
    (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 4532-4539
(=>
    (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 4780-4790
(=>
    (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 22700-22711
(=>
    (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 ?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 23336-23345
(=>
    (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 4546-4565
(=>
    (instance ?X Mattress)
    (hasPurpose ?X
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (orientation ?PERSON ?X On)))))
Mid-level-ontology.kif 4519-4525
(=>
    (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 17371-17374


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