orientation

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


(=>
    (and
        (instance ?T Transfer)
        (objectTransferred ?T ?O)
        (orientation ?O2 ?O On))
    (objectTransferred ?T ?O2))
Merge.kif 11509-11514
(=>
    (and
        (instance ?basin Basin)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?basin
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?basin ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4454-4464
(=>
    (and
        (instance ?piedmont Piedmont)
        (attribute ?mountains MountainousTerrain)
        (orientation ?piedmont ?mountains Adjacent)
        (instance ?U UnitOfLength)
        (height ?piedmont
            (MeasureFn ?height1 ?U))
        (height ?mountains
            (MeasureFn ?height2 ?U)))
    (greaterThan ?height2 ?height1))
Geography.kif 4413-4423
(=>
    (and
        (instance ?place UndergroundArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?place
            (MeasureFn ?alt1 ?U))
        (surface ?ground PlanetEarth)
        (part ?area ?ground)
        (orientation ?place ?area Below)
        (earthAltitude ?area
            (MeasureFn ?alt2 ?U)))
    (greaterThan ?alt2 ?alt1))
Geography.kif 4206-4217
(=>
    (and
        (instance ?valley Valley)
        (instance ?area LandArea)
        (instance ?U UnitOfLength)
        (earthAltitude ?valley
            (MeasureFn ?height1 ?U))
        (earthAltitude ?area
            (MeasureFn ?height2 ?U))
        (orientation ?valley ?area Adjacent))
    (greaterThan ?height2 ?height1))
Geography.kif 4438-4448
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (greaterThan
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (not
        (located ?OBJ ?ZONE)))
Geography.kif 995-1004
(=>
    (and
        (orientation ?OBJ ?REGION Outside)
        (instance ?ZONE
            (PerimeterAreaFn ?REGION))
        (instance ?ZONE UniformPerimeterArea)
        (width ?ZONE
            (MeasureFn ?LIMIT ?UNIT))
        (distance ?OBJ ?REGION
            (MeasureFn ?FAR ?UNIT))
        (instance ?UNIT UnitOfMeasure)
        (lessThanOrEqualTo
            (SubtractionFn ?FAR ?LIMIT) 0.0))
    (located ?OBJ ?ZONE))
Geography.kif 984-993
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?ATTR1)
        (contraryAttribute @ROW)
        (inList ?ATTR1
            (ListFn @ROW))
        (inList ?ATTR2
            (ListFn @ROW))
        (not
            (equal ?ATTR1 ?ATTR2)))
    (not
        (orientation ?OBJ1 ?OBJ2 ?ATTR2)))
Merge.kif 17096-17104
(=>
    (and
        (orientation ?OBJ1 ?OBJ2 ?DIR)
        (instance ?DIR PositionalAttribute)
        (oppositeDirection ?DIR ?OPPDIR))
    (orientation ?OBJ2 ?OBJ1 ?OPPDIR))
Mid-level-ontology.kif 19707-19712
(=>
    (and
        (orientation ?X ?Y Right)
        (orientation ?Z ?Y Left))
    (orientation ?X ?Z Right))
Merge.kif 17106-17110
(=>
    (and
        (subclass ?T1C Tissue)
        (subclass ?T2C Tissue)
        (instance ?T1 ?T1C)
        (instance ?T2 ?T2C)
        (instance ?H Human)
        (part ?T1 ?H)
        (part ?T2 ?H)
        (not
            (equal ?T1C ?T2C))
        (not
            (subclass ?T1C ?T2C))
        (not
            (subclass ?T2C ?T1C))
        (orientation ?T1 ?T2 Adjacent))
    (modalAttribute
        (exists (?CT)
            (and
                (instance ?CT ConnectiveTissue)
                (between ?T1 ?CT ?T2))) Likely))
Merge.kif 15319-15340
(=>
    (and
        (viewType ?ROOM ?OBJ)
        (instance ?ROOM Room)
        (instance ?INST ?OBJ)
        (orientation ?INST ?ROOM Outside))
    (modalAttribute
        (exists (?HUMAN ?SEE)
            (and
                (instance ?HUMAN Human)
                (located ?HUMAN ?ROOM)
                (instance ?SEE Seeing)
                (patient ?SEE ?INST)
                (agent ?SEE ?HUMAN))) Possibility))
Hotel.kif 962-975
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time DayTime)
        (instance ?Observe Looking)
        (instance ?B Object)
        (color ?B Black)
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 3413-3433
(=>
    (and
        (visibilityInMeteorology ?Area ?Time
            (MeasureFn ?Distance ?U))
        (instance ?U UnitOfMeasure)
        (instance ?Time NightTime)
        (instance ?Observe Looking)
        (instance ?B Region)
        (attribute ?B Illuminated)
        (measure ?B
            (MeasureFn 1000.0 Candela))
        (agent ?Observe ?A)
        (patient ?Observe ?B)
        (orientation ?A ?B Horizontal)
        (eventLocated ?Observe ?Area)
        (during
            (WhenFn ?Observe) ?Time)
        (instance ?B Object))
    (exists (?D2)
        (and
            (distance ?A ?B
                (MeasureFn ?D2 ?U))
            (greaterThan ?Distance ?D2))))
Weather.kif 3435-3456
(=>
    (orientation ?O1 ?O2 Downstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))
Mid-level-ontology.kif 31694-31703
(=>
    (orientation ?O1 ?O2 Downwind)
    (exists (?W ?T ?P)
        (and
            (instance ?W Wind)
            (path ?T ?P)
            (origin ?T ?O2)
            (beforeOnPath ?O2 ?O1 ?P ?T)
            (destination ?T ?O1))))
Mid-level-ontology.kif 31716-31724
(=>
    (orientation ?O1 ?O2 Upstream)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))
Mid-level-ontology.kif 31683-31692
(=>
    (orientation ?O1 ?O2 Upwind)
    (exists (?T ?L ?P)
        (and
            (instance ?T Transfer)
            (attribute ?L Liquid)
            (path ?T ?P)
            (origin ?T ?O1)
            (beforeOnPath ?O1 ?O2 ?P ?T)
            (destination ?T ?O2))))
Mid-level-ontology.kif 31705-31714
(=>
    (orientation ?OBJ ?REGION Inside)
    (instance ?REGION Region))
Mid-level-ontology.kif 10321-10323
(=>
    (orientation ?OBJ ?REGION Outside)
    (instance ?REGION Region))
Mid-level-ontology.kif 10317-10319
(=>
    (orientation ?OBJ1 ?OBJ2 Above)
    (not
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17254-17257
(=>
    (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 20808-20819
(=>
    (orientation ?OBJ1 ?OBJ2 Inside)
    (located ?OBJ1 ?OBJ2))
Merge.kif 17329-17331
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (not
        (connected ?OBJ1 ?OBJ2)))
Merge.kif 17307-17310
(=>
    (orientation ?OBJ1 ?OBJ2 Near)
    (orientation ?OBJ2 ?OBJ1 Near))
Merge.kif 17312-17314

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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