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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - On
On

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 16889-16891
(externalImage On "http://upload.wikimedia.org/wikipedia/commons/e/e4/Pink_and_grey_galahs_on_power_lines.jpg") pictureList.kif 10175-10175
(instance On AntiSymmetricPositionalAttribute) Merge.kif 16888-16888

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


(termFormat ChineseLanguage On "上") domainEnglishFormat.kif 42085-42085
(termFormat ChineseTraditionalLanguage On "上") domainEnglishFormat.kif 42084-42084
(termFormat EnglishLanguage On "on") domainEnglishFormat.kif 42083-42083

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


(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))
Merge.kif 11205-11210
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))
Merge.kif 16893-16895
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))
Merge.kif 16897-16899
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 16905-16908

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


(<=>
    (orientation ?OBJ1 ?OBJ2 Below)
    (or
        (orientation ?OBJ2 ?OBJ1 On)
        (orientation ?OBJ2 ?OBJ1 Above)))
Merge.kif 16838-16842
(=>
    (and
        (attribute ?X ?SHAPE)
        (instance ?X FourPosterBed)
        (instance ?SHAPE Quadrilateral)
        (sideOfFigure ?SIDE1 ?SHAPE)
        (sideOfFigure ?SIDE2 ?SHAPE)
        (not
            (equal ?SIDE1 ?SIDE2)))
    (exists (?POST ?FLOOR ?CORNER1 ?CORNER)
        (and
            (part ?POST ?X)
            (instance ?FLOOR Floor)
            (orientation ?X ?FLOOR On)
            (orientation ?POST ?FLOOR Vertical)
            (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1)
            (attribute ?CORNER ?CORNER1)
            (meetsSpatially ?CORNER ?POST))))
Mid-level-ontology.kif 3985-4002
(=>
    (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 19411-19423
(=>
    (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 464-475
(=>
    (and
        (instance ?X Bed)
        (component ?BEDFRAME ?X)
        (instance ?BEDFRAME BedFrame)
        (component ?MATTRESS ?X)
        (instance ?MATTRESS Mattress))
    (orientation ?MATTRESS ?BEDFRAME On))
Mid-level-ontology.kif 3961-3968
(=>
    (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 4771-4781
(=>
    (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 24651-24662
(=>
    (instance ?LAND SubmergedLandArea)
    (exists (?WATER)
        (and
            (instance ?WATER WaterArea)
            (orientation ?LAND ?WATER Below)
            (orientation ?WATER ?LAND On)
            (meetsSpatially ?LAND ?WATER))))
Geography.kif 5969-5976
(=>
    (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 25343-25352
(=>
    (instance ?PARK StreetParking)
    (exists (?STREET)
        (and
            (instance ?STREET Street)
            (orientation ?PARK ?STREET On))))
TransportDetail.kif 66-71
(=>
    (instance ?X Mattress)
    (hasPurpose ?X
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (orientation ?PERSON ?X On)))))
Mid-level-ontology.kif 3948-3954
(=>
    (onOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X On))))
Hotel.kif 925-930
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))
Merge.kif 16905-16908


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