orientation

-------------------------


(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (connected ?OBJ1 ?OBJ2))		 Merge.kif 17146-17148
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (located ?OBJ1 ?OBJ2))		 Merge.kif 17150-17152
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17158-17161
(=>
    (orientation ?OBJ1 ?OBJ2 Surrounded)
    (forall (?X)
        (=>
            (side ?X ?OBJ1)
            (meetsSpatially ?X ?OBJ2))))		 Mid-level-ontology.kif 26009-26014
(=>
    (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 19220-19231
(=>
    (orientation ?ONE ?TWO Adjacent)
    (orientation ?TWO ?ONE Adjacent))		 Geography.kif 716-718
(=>
    (orientation ?ONE ?TWO Near)
    (orientation ?TWO ?ONE Near))		 Geography.kif 720-722


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