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

Formal Language: 



KB Term:  Term intersection
English Word: 

  orientation

Sigma KEE - orientation
orientation

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


s__documentation(s__orientation__m,s__ChineseLanguage,'"这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。 例如:(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方,而 (orientation ?OBJ1 ?OBJ2 Vertical)第意思是 ?OBJ1 和 ?OBJ2 之间的位置是垂直的。"')

chinese_format.kif 3786-3788
s__documentation(s__orientation__m,s__EnglishLanguage,'"A general Predicate for indicating how two Objects are oriented with respect to one another. For example, (orientation ?OBJ1 ?OBJ2 North) means that ?OBJ1 is north of ?OBJ2, and (orientation ?OBJ1 ?OBJ2 Vertical) means that ?OBJ1 is positioned vertically with respect to ?OBJ2."')

Merge.kif 16250-16254
s__domain(s__orientation__m,n__1,s__Object)

Merge.kif 16247-16247 The number 1 argument of orientation is an instance of object
s__domain(s__orientation__m,n__2,s__Object)

Merge.kif 16248-16248 The number 2 argument of orientation is an instance of object
s__domain(s__orientation__m,n__3,s__PositionalAttribute)

Merge.kif 16249-16249 The number 3 argument of orientation is an instance of positional attribute
s__instance(s__SpatialRelation,s__Class)

s__instance(s__orientation__m,s__SpatialRelation)

Merge.kif 16245-16245 orientation is an instance of spatial relation
s__instance(s__orientation__m,s__TernaryPredicate)

s__instance(s__TernaryPredicate,s__Class)

Merge.kif 16246-16246 orientation is an instance of ternary predicate

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


s__format(s__ChineseLanguage,s__orientation__m,'"%1 %n 在 %2 的 %3"')

chinese_format.kif 586-586
s__format(s__EnglishLanguage,s__orientation__m,'"%1 is %n %3 to %2"')

english_format.kif 590-590
s__termFormat(s__ChineseLanguage,s__orientation__m,'"定向"')

chinese_format.kif 587-587
s__termFormat(s__ChineseLanguage,s__orientation__m,'"方位"')

domainEnglishFormat.kif 42559-42559
s__termFormat(s__ChineseTraditionalLanguage,s__orientation__m,'"方位"')

domainEnglishFormat.kif 42558-42558
s__termFormat(s__EnglishLanguage,s__orientation__m,'"orientation"')

domainEnglishFormat.kif 42557-42557

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


( ! [V__REGION,V__OBJ] :
   (((s__instance(V__REGION,s__Object) &
         s__instance(V__OBJ,s__Object))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) =>
             ~(s__partlyLocated(V__OBJ,V__REGION)))
         &
         (~(s__partlyLocated(V__OBJ,V__REGION))
         =>
         s__orientation(V__OBJ,V__REGION,s__Outside)))))
)
)

Mid-level-ontology.kif 8698-8701 An object is outside to another object if and only if the object is not partly located in the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__Near) |
               s__connected(V__OBJ1,V__OBJ2)))
         &
         ((s__orientation(V__OBJ1,V__OBJ2,s__Near) |
             s__connected(V__OBJ1,V__OBJ2))
         =>
         s__orientation(V__OBJ1,V__OBJ2,s__Adjacent)))))
)
)

Merge.kif 16433-16437 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Below) =>
             (s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above)))
           &
           ((s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Below)))))
     )
   )

Merge.kif 16421-16425 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
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__East) =>
             s__orientation(V__OBJ2,V__OBJ1,s__West))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__West) =>
             s__orientation(V__OBJ1,V__OBJ2,s__East)))))
     )
   )

Merge.kif 16358-16360 An object is east to another object if and only if the other object is west to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Horizontal) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Horizontal))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Horizontal) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Horizontal)))))
     )
   )

Merge.kif 16375-16377 An object is horizontal to another object if and only if the other object is horizontal to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__North) =>
             s__orientation(V__OBJ2,V__OBJ1,s__South))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__South) =>
             s__orientation(V__OBJ1,V__OBJ2,s__North)))))
     )
   )

Merge.kif 16348-16350 An object is north to another object if and only if the other object is south to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Northeast) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__East)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__East))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Northeast)))))
     )
   )

Geography.kif 3534-3538 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Northwest) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__West)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__West))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Northwest)))))
     )
   )

Geography.kif 3569-3573 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Right) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Left))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Left) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Right)))))
     )
   )

Merge.kif 16454-16456 An object is right to another object if and only if the other object is left to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Southeast) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__East)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__East))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Southeast)))))
     )
   )

Geography.kif 3545-3549 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Southwest) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__West)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__West))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Southwest)))))
     )
   )

Geography.kif 3557-3561 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Vertical) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Vertical))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Vertical) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Vertical)))))
     )
   )

Merge.kif 16366-16368 An object is vertical to another object if and only if the other object is vertical to the object
( ! [V__COAST,V__WATER] :
   (((s__instance(V__COAST,s__Seacoast) &
         s__instance(V__WATER,s__WaterArea) &
         s__orientation(V__WATER,V__COAST,s__Adjacent))
       =>
       (s__instance(V__WATER,s__SaltWaterArea)))
     )
   )

Geography.kif 5908-5913
( ! [V__OBJ1,V__DIRECT,V__OBJ2,V__OBJ3] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object) &
         s__instance(V__OBJ3,s__Object))
       =>
       (((s__instance(V__DIRECT,s__DirectionalAttribute) &
             s__orientation(V__OBJ1,V__OBJ2,V__DIRECT)
           &
           s__orientation(V__OBJ2,V__OBJ3,V__DIRECT))
       =>
       (s__between(V__OBJ1,V__OBJ2,V__OBJ3)))))
)
)

Merge.kif 16334-16339
( ! [V__FOG,V__A,V__AIR,V__VISIBILITY,V__AREA] :
   ((s__instance(V__VISIBILITY,s__RealNumber) =>
       (((s__instance(V__FOG,s__Fogging) &
             s__eventLocated(V__FOG,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__instance(V__A,s__Aerosal) &
           s__locatedAtTime(V__A,s__WhenFn(V__FOG)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__FOG)
    ,s__MeasureFn(V__VISIBILITY,s__Meter)))
=>
(s__lessThan(V__VISIBILITY,n__1000)))))
)
)

Weather.kif 2530-2543
( ! [V__AIR,V__VISIBILITY,V__HAZE,V__AREA,V__PARTICULATE] :
   (((s__instance(V__VISIBILITY,s__RealNumber) &
         s__instance(V__PARTICULATE,s__Object))
       =>
       (((s__instance(V__HAZE,s__AtmosphericHazing) &
             s__eventLocated(V__HAZE,V__AREA)
           &
           s__instance(V__AREA,s__GeographicArea) &
           s__instance(V__AIR,s__AtmosphericRegion) &
           s__orientation(V__AIR,V__AREA,s__Above) &
           s__locatedAtTime(V__PARTICULATE,s__WhenFn(V__HAZE)
        ,V__AIR)
       &
       s__visibilityInMeteorology(V__AREA,s__WhenFn(V__HAZE)
    ,s__MeasureFn(V__VISIBILITY,s__Kilometer)))
=>
((s__greaterThan(V__VISIBILITY,n__2)
   &
   s__lessThan(V__VISIBILITY,n__5))))))
)
)

Weather.kif 2559-2573
( ! [V__O1,V__P,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       (((s__instance(V__P,s__AntiSymmetricPositionalAttribute) &
             s__orientation(V__O1,V__O2,V__P))
         =>
         (~(s__orientation(V__O2,V__O1,V__P))))))
)
)

Merge.kif 16395-16399
( ! [V__O1,V__P,V__O2] :
   (((s__instance(V__O1,s__Object) &
         s__instance(V__O2,s__Object))
       =>
       (((s__instance(V__P,s__SymmetricPositionalAttribute) &
             s__orientation(V__O1,V__O2,V__P))
         =>
         (s__orientation(V__O2,V__O1,V__P)))))
)
)

Merge.kif 16384-16388
( ! [V__WATER,V__SHORE] :
   (((s__instance(V__SHORE,s__ShoreArea) &
         s__instance(V__WATER,s__WaterArea) &
         s__orientation(V__SHORE,V__WATER,s__Adjacent))
       =>
       (( ? [V__LINE] :
           ((s__instance(V__LINE,s__Shoreline) &
               s__part(V__LINE,V__SHORE)
             &
             s__meetsSpatially(V__LINE,V__WATER))))))
)
)

Geography.kif 5934-5943
No TPTP formula. May not be expressible in strict first order. Merge.kif 14522-14538
( ! [V__U,V__height1,V__area,V__basin,V__height2] :
   (((s__instance(V__height1,s__RealNumber) &
         s__instance(V__height2,s__RealNumber))
       =>
       (((s__instance(V__basin,s__Basin) &
             s__instance(V__area,s__LandArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__basin,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
     &
     s__orientation(V__basin,V__area,s__Adjacent))
   =>
   (s__greaterThan(V__height2,V__height1)))))
)
)

Geography.kif 4085-4095
( ! [V__mountains,V__U,V__height1,V__piedmont,V__height2] :
   (((s__instance(V__mountains,s__SelfConnectedObject) &
         s__instance(V__height1,s__RealNumber) &
         s__instance(V__height2,s__RealNumber))
       =>
       (((s__instance(V__piedmont,s__Piedmont) &
             s__attribute(V__mountains,s__MountainousTerrain) &
             s__orientation(V__piedmont,V__mountains,s__Adjacent) &
             s__instance(V__U,s__UnitOfLength) &
             s__height(V__piedmont,s__MeasureFn(V__height1,V__U))
         &
         s__height(V__mountains,s__MeasureFn(V__height2,V__U)))
   =>
   (s__greaterThan(V__height2,V__height1)))))
)
)

Geography.kif 4044-4054
( ! [V__ground,V__alt1,V__place,V__U,V__area,V__alt2] :
   (((s__instance(V__ground,s__SelfConnectedObject) &
         s__instance(V__alt1,s__RealNumber) &
         s__instance(V__area,s__Object) &
         s__instance(V__alt2,s__RealNumber))
       =>
       (((s__instance(V__place,s__UndergroundArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__place,s__MeasureFn(V__alt1,V__U))
         &
         s__surface(V__ground,s__PlanetEarth) &
         s__part(V__area,V__ground)
       &
       s__orientation(V__place,V__area,s__Below) &
       s__earthAltitude(V__area,s__MeasureFn(V__alt2,V__U)))
=>
(s__greaterThan(V__alt2,V__alt1)))))
)
)

Geography.kif 3837-3848
( ! [V__valley,V__U,V__height1,V__area,V__height2] :
   (((s__instance(V__height1,s__RealNumber) &
         s__instance(V__height2,s__RealNumber))
       =>
       (((s__instance(V__valley,s__Valley) &
             s__instance(V__area,s__LandArea) &
             s__instance(V__U,s__UnitOfLength) &
             s__earthAltitude(V__valley,s__MeasureFn(V__height1,V__U))
         &
         s__earthAltitude(V__area,s__MeasureFn(V__height2,V__U))
     &
     s__orientation(V__valley,V__area,s__Adjacent))
   =>
   (s__greaterThan(V__height2,V__height1)))))
)
)

Geography.kif 4069-4079
( ! [V__REGION,V__OBJ,V__FAR,V__ZONE,V__UNIT,V__LIMIT] :
   (((s__instance(V__REGION,s__Region) &
         s__instance(V__OBJ,s__Object) &
         s__instance(V__FAR,s__RealNumber) &
         s__instance(V__LIMIT,s__RealNumber))
       =>
       (((s__orientation(V__OBJ,V__REGION,s__Outside) &
             s__instance(V__ZONE,s__PerimeterAreaFn(V__REGION))
         &
         s__instance(V__ZONE,s__UniformPerimeterArea) &
         s__width(V__ZONE,s__MeasureFn(V__LIMIT,V__UNIT))
     &
     s__distance(V__OBJ,V__REGION,s__MeasureFn(V__FAR,V__UNIT))
&
s__instance(V__UNIT,s__UnitOfMeasure) &
s__greaterThan(s__SubtractionFn(V__FAR,V__LIMIT)
,n__0))
=>
(~(s__located(V__OBJ,V__ZONE))))))
)
)

Geography.kif 862-871

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__North))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__North) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__0,s__AngularDegree))))))
)
)

Geography.kif 3612-3614 An object courseWRT true north another object for 0 angular degree(s) if and only if the object is north to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Southeast))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Southeast) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__135,s__AngularDegree))))))
)
)

Geography.kif 3636-3638 An object courseWRT true north another object for 135 angular degree(s) if and only if the object is southeast to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__South))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__South) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__180,s__AngularDegree))))))
)
)

Geography.kif 3620-3622 An object courseWRT true north another object for 180 angular degree(s) if and only if the object is south to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Southwest))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Southwest) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__225,s__AngularDegree))))))
)
)

Geography.kif 3640-3642 An object courseWRT true north another object for 225 angular degree(s) if and only if the object is southwest to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__West))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__West) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__270,s__AngularDegree))))))
)
)

Geography.kif 3624-3626 An object courseWRT true north another object for 270 angular degree(s) if and only if the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Northwest))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Northwest) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__315,s__AngularDegree))))))
)
)

Geography.kif 3644-3646 An object courseWRT true north another object for 315 angular degree(s) if and only if the object is northwest to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__North))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__North) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__360,s__AngularDegree))))))
)
)

Geography.kif 3628-3630 An object courseWRT true north another object for 360 angular degree(s) if and only if the object is north to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__Northeast))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__Northeast) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__45,s__AngularDegree))))))
)
)

Geography.kif 3632-3634 An object courseWRT true north another object for 45 angular degree(s) if and only if the object is northeast to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))
           =>
           s__orientation(V__OBJ1,V__OBJ2,s__East))
         &
         (s__orientation(V__OBJ1,V__OBJ2,s__East) =>
           s__courseWRTTrueNorth(V__OBJ1,V__OBJ2,s__MeasureFn(n__90,s__AngularDegree))))))
)
)

Geography.kif 3616-3618 An object courseWRT true north another object for 90 angular degree(s) if and only if the object is east to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Adjacent) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__Near) |
               s__connected(V__OBJ1,V__OBJ2)))
         &
         ((s__orientation(V__OBJ1,V__OBJ2,s__Near) |
             s__connected(V__OBJ1,V__OBJ2))
         =>
         s__orientation(V__OBJ1,V__OBJ2,s__Adjacent)))))
)
)

Merge.kif 16433-16437 An object is adjacent to another object if and only if the object is near to the other object or the object is connected to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Below) =>
             (s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above)))
           &
           ((s__orientation(V__OBJ2,V__OBJ1,s__On) |
               s__orientation(V__OBJ2,V__OBJ1,s__Above))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Below)))))
     )
   )

Merge.kif 16421-16425 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
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__East) =>
             s__orientation(V__OBJ2,V__OBJ1,s__West))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__West) =>
             s__orientation(V__OBJ1,V__OBJ2,s__East)))))
     )
   )

Merge.kif 16358-16360 An object is east to another object if and only if the other object is west to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Horizontal) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Horizontal))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Horizontal) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Horizontal)))))
     )
   )

Merge.kif 16375-16377 An object is horizontal to another object if and only if the other object is horizontal to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__North) =>
             s__orientation(V__OBJ2,V__OBJ1,s__South))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__South) =>
             s__orientation(V__OBJ1,V__OBJ2,s__North)))))
     )
   )

Merge.kif 16348-16350 An object is north to another object if and only if the other object is south to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Northeast) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__East)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__East))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Northeast)))))
     )
   )

Geography.kif 3534-3538 An object is northeast to another object if and only if the object is north to the other object and the object is east to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Northwest) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__West)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__North) &
               s__orientation(V__OBJ1,V__OBJ2,s__West))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Northwest)))))
     )
   )

Geography.kif 3569-3573 An object is northwest to another object if and only if the object is north to the other object and the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Right) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Left))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Left) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Right)))))
     )
   )

Merge.kif 16454-16456 An object is right to another object if and only if the other object is left to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Southeast) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__East)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__East))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Southeast)))))
     )
   )

Geography.kif 3545-3549 An object is southeast to another object if and only if the object is south to the other object and the object is east to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Southwest) =>
             (s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__West)))
           &
           ((s__orientation(V__OBJ1,V__OBJ2,s__South) &
               s__orientation(V__OBJ1,V__OBJ2,s__West))
             =>
             s__orientation(V__OBJ1,V__OBJ2,s__Southwest)))))
     )
   )

Geography.kif 3557-3561 An object is southwest to another object if and only if the object is south to the other object and the object is west to the other object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       (((s__orientation(V__OBJ1,V__OBJ2,s__Vertical) =>
             s__orientation(V__OBJ2,V__OBJ1,s__Vertical))
           &
           (s__orientation(V__OBJ2,V__OBJ1,s__Vertical) =>
             s__orientation(V__OBJ1,V__OBJ2,s__Vertical)))))
     )
   )

Merge.kif 16366-16368 An object is vertical to another object if and only if the other object is vertical to the object
( ! [V__OBJ1,V__OBJ2] :
   (((s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Class))
       =>
       ((s__adjacentOrientation(V__OBJ1,V__OBJ2)
         =>
         (( ? [V__X] :
             ((s__instance(V__X,s__Object) &
                 (s__instance(V__X,V__OBJ2)
                 &
                 s__orientation(V__OBJ1,V__X,s__Adjacent)))))))))
)
)

Hotel.kif 917-922
( ! [V__HEIGHT,V__OBJ1,V__OBJ2] :
   (((s__instance(V__HEIGHT,s__LengthMeasure) &
         s__instance(V__OBJ1,s__Object) &
         s__instance(V__OBJ2,s__Object))
       =>
       ((s__altitude(V__OBJ1,V__OBJ2,V__HEIGHT)
         =>
         (s__orientation(V__OBJ1,V__OBJ2,s__Above)))))
   )
)

Merge.kif 7500-7502
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__S,s__SelfConnectedObject) &
         s__instance(V__PL,s__Object) &
         s__instance(V__L,s__Object))
       =>
       (((s__attribute(V__O,s__Concave) &
             s__surface(V__O,V__S)
           &
           s__part(V__P1,V__S)
         &
         s__part(V__P2,V__S)
       &
       (V__L = s__LineFn(V__P1,V__P2))
     &
     ~((V__P1 = V__P2))
     &
     s__part(V__PL,V__L))
=>
(s__orientation(V__PL,V__O,s__Outside)))))
)
)

ComputingBrands.kif 2662-2673
( ! [V__O,V__P1,V__P2,V__S,V__PL,V__L] :
   (((s__instance(V__O,s__SelfConnectedObject) &
         s__instance(V__P1,s__Object) &
         s__instance(V__P2,s__Object) &
         s__instance(V__S,s__SelfConnectedObject) &
         s__instance(V__PL,s__Object) &
         s__instance(V__L,s__Object))
       =>
       (((s__attribute(V__O,s__Convex) &
             s__surface(V__O,V__S)
           &
           s__part(V__P1,V__S)
         &
         s__part(V__P2,V__S)
       &
       (V__L = s__LineFn(V__P1,V__P2))
     &
     ~((V__P1 = V__P2))
     &
     s__part(V__PL,V__L))
=>
(s__orientation(V__PL,V__O,s__Inside)))))
)
)

ComputingBrands.kif 2634-2645
( ! [V__X] :
   (((s__attribute(V__X,s__Suite) &
         s__instance(V__X,s__HotelUnit))
       =>
       (( ? [V__R1, V__R2] :
           ((s__instance(V__R1,s__HotelRoom) &
               s__instance(V__R2,s__HotelRoom) &
               s__orientation(V__R1,V__X,s__Inside) &
               s__orientation(V__R2,V__X,s__Inside) &
               ~((V__R1 = V__R2)))))))
     )
   )

Hotel.kif 981-992

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0
-------------------------


s__orientation(s__Africa,s__NorthAmerica,s__Southeast)

Geography.kif 282-282 Africa is southeast to north america
s__orientation(s__Africa,s__SouthAmerica,s__Northeast)

Geography.kif 280-280 Africa is northeast to south america
s__orientation(s__Asia,s__Oceania,s__Northwest)

Geography.kif 281-281 Asia is northwest to oceania
s__orientation(s__CaribbeanRegion,s__NorthAmerica,s__South)

Geography.kif 290-290 Caribbean region is south to north america
s__orientation(s__CaribbeanRegion,s__SouthAmerica,s__North)

Geography.kif 289-289 Caribbean region is north to south america
s__orientation(s__Europe,s__Africa,s__North)

Geography.kif 275-275 Europe is north to africa
s__orientation(s__Europe,s__Asia,s__West)

Geography.kif 276-276 Europe is west to asia
s__orientation(s__Europe,s__NorthAmerica,s__East)

Geography.kif 277-277 Europe is east to north america
s__orientation(s__Europe,s__SouthAmerica,s__Northeast)

Geography.kif 283-283 Europe is northeast to south america
s__orientation(s__Ireland,s__Wales,s__West)

Geography.kif 6496-6496 Ireland is west to Wales
s__orientation(s__IsleOfMan,s__NorthernIreland,s__East)

Geography.kif 6495-6495 Isle of man is east to northern ireland
s__orientation(s__MiddleAmerica,s__NorthAmerica,s__South)

Geography.kif 288-288 Middle america is south to north america
s__orientation(s__MiddleAmerica,s__SouthAmerica,s__North)

Geography.kif 287-287 Middle america is north to south america
s__orientation(s__MiddleEastRegion,s__Africa,s__Northeast)

Geography.kif 286-286 Middle east region is northeast to africa
s__orientation(s__MiddleEastRegion,s__Asia,s__Southwest)

Geography.kif 285-285 Middle east region is southwest to asia
s__orientation(s__NorthAmerica,s__Asia,s__East)

Geography.kif 279-279 North america is east to asia
s__orientation(s__NorthAmerica,s__SouthAmerica,s__North)

Geography.kif 278-278 North america is north to south america
s__orientation(s__NorthernIreland,s__England,s__Northwest)

Geography.kif 6484-6484 Northern ireland is northwest to England
s__orientation(s__NorthernIreland,s__Scotland,s__Southwest)

Geography.kif 6483-6483 Northern ireland is southwest to scotland
s__orientation(s__NorthernIreland,s__Wales,s__Northwest)

Geography.kif 6493-6493 Northern ireland is northwest to Wales
s__orientation(s__Oceania,s__NorthAmerica,s__Southwest)

Geography.kif 284-284 Oceania is southwest to north america
s__orientation(s__Scotland,s__England,s__North)

Geography.kif 6481-6481 Scotland is north to England
s__orientation(s__Scotland,s__Wales,s__North)

Geography.kif 6494-6494 Scotland is north to Wales
s__orientation(s__Wales,s__England,s__West)

Geography.kif 6491-6491 Wales is west to England


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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