orientation

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


(=>
    (instance ?X Courtyard)
    (and
        (not
            (exists (?ROOF)
                (and
                    (instance ?ROOF Roof)
                    (top ?ROOF ?X))))
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Surrounded)))))		 Mid-level-ontology.kif 26021-26032
(=>
    (instance ?X Earphone)
    (hasPurpose ?X
        (exists (?ES ?RS ?SIGNAL ?EAR ?PROC)
            (and
                (instance ?ES ElectricalSignalling)
                (patient ?ES ?SIGNAL)
                (destination ?ES ?X)
                (instance ?PROC Process)
                (instrument ?PROC ?X)
                (patient ?PROC ?SIGNAL)
                (result ?PROC ?RS)
                (instance ?RS RadiatingSound)
                (origin ?RS ?X)
                (before
                    (BeginFn
                        (WhenFn ?ES))
                    (BeginFn
                        (WhenFn ?PROC)))
                (before
                    (BeginFn
                        (WhenFn ?PROC))
                    (BeginFn
                        (WhenFn ?RS)))
                (instance ?EAR Ear)
                (orientation ?X ?EAR Adjacent)))))		 Mid-level-ontology.kif 26053-26074
(=>
    (instance ?X Exoskeleton)
    (exists (?A)
        (and
            (instance ?A Animal)
            (part ?X ?A)
            (not
                (exists (?PART)
                    (and
                        (properPart ?PART ?A)
                        (orientation ?PART ?X Outside)))))))		 Mid-level-ontology.kif 11691-11701
(=>
    (instance ?X Hammock)
    (and
        (material Fabric ?X)
        (exists (?POLE1 ?POLE2 ?GROUND)
            (and
                (orientation ?POLE1 ?POLE2 Near)
                (connected ?POLE1 ?X)
                (connected ?POLE2 ?X)
                (instance ?GROUND LandArea)
                (located ?X ?GROUND)
                (orientation ?X ?GROUND Above)))))		 Mid-level-ontology.kif 3958-3969
(=>
    (instance ?X Mattress)
    (hasPurpose ?X
        (exists (?PERSON)
            (and
                (attribute ?PERSON Asleep)
                (orientation ?PERSON ?X On)))))		 Mid-level-ontology.kif 4041-4047
(=>
    (instance ?X Patio)
    (and
        (modalAttribute
            (attribute ?X Paved) Likely)
        (exists (?BLDG)
            (and
                (instance ?BLDG Building)
                (orientation ?X ?BLDG Adjacent)
                (located ?X Outdoors)))))		 Mid-level-ontology.kif 26639-26648
(=>
    (instance ?X SubwaySystem)
    (exists (?SURF)
        (and
            (surface ?SURF GeographicArea)
            (orientation ?X ?SURF Below))))		 Transportation.kif 328-333
(=>
    (instance ?piedmont Piedmont)
    (exists (?mountains)
        (and
            (instance ?mountains MountainousTerrain)
            (orientation ?piedmont ?mountains Adjacent))))		 Geography.kif 4199-4204
(=>
    (instance ?place UndergroundArea)
    (exists (?area ?ground)
        (and
            (surface ?ground PlanetEarth)
            (part ?area ?ground)
            (orientation ?place ?area Below))))		 Geography.kif 3991-3997
(=>
    (meetsSpatially ?OBJECT1 ?OBJECT2)
    (orientation ?OBJECT1 ?OBJECT2 Adjacent))		 Transportation.kif 864-866
(=>
    (meetsSpatially ?X ?Y)
    (orientation ?X ?Y Adjacent))		 Geography.kif 6163-6165
(=>
    (nearOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X Near))))		 Hotel.kif 910-915
(=>
    (neighbor ?PERSON1 ?PERSON2)
    (exists (?HOME1 ?HOME2)
        (and
            (home ?PERSON1 ?HOME1)
            (home ?PERSON2 ?HOME2)
            (not
                (equal ?HOME1 ?HOME2))
            (orientation ?HOME1 ?HOME2 Near))))		 Mid-level-ontology.kif 6671-6678
(=>
    (onOrientation ?OBJ1 ?OBJ2)
    (exists (?X)
        (and
            (instance ?X ?OBJ2)
            (orientation ?OBJ1 ?X On))))		 Hotel.kif 925-930
(=>
    (orientation ?OBJ1 ?OBJ2 Downstairs)
    (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 Below))))		 Mid-level-ontology.kif 19237-19248
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))		 Merge.kif 17137-17139
(=>
    (orientation ?OBJ1 ?OBJ2 On)
    (not
        (orientation ?OBJ2 ?OBJ1 On)))		 Merge.kif 17158-17161
(=>
    (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
(=>
    (part ?OBJ ?REGION)
    (not
        (orientation ?OBJ ?REGION Outside)))		 Mid-level-ontology.kif 9124-9127
(=>
    (postStreet ?POSTPLACE ?ROADWAY)
    (orientation ?POSTPLACE ?ROADWAY Adjacent))		 Mid-level-ontology.kif 24819-24821
(=>
    (surfaceWindDirection ?PLACE ?DIR)
    (exists (?WIND ?FROM)
        (and
            (instance ?WIND Wind)
            (instance ?FROM Region)
            (eventPartlyLocated ?WIND ?PLACE)
            (origin ?WIND ?FROM)
            (orientation ?FROM ?PLACE ?DIR))))		 Weather.kif 178-186


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