orientation - Sigma Knowledge base Browser

appearance as argument number 1

(documentation orientation ChineseLanguage "这是一个用来表示两个 Object 相对于彼此的定向的 Predicate。例如：(orientation ?OBJ1 ?OBJ2 North)第意思是 ?OBJ1 在 ?OBJ2 的北方，而 (orientation ?OBJ1 ?OBJ2 Vertical)第意思是 ?OBJ1 和 ?OBJ2 之间的位置是垂直的。")	chinese_format.kif 3786-3788
(documentation orientation 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 16646-16650
(domain orientation 1 Object)	Merge.kif 16643-16643	The number 1 argument of orientation is an instance of object
(domain orientation 2 Object)	Merge.kif 16644-16644	The number 2 argument of orientation is an instance of object
(domain orientation 3 PositionalAttribute)	Merge.kif 16645-16645	The number 3 argument of orientation is an instance of positional attribute
(instance orientation SpatialRelation)	Merge.kif 16641-16641	orientation is an instance of spatial relation
(instance orientation TernaryPredicate)	Merge.kif 16642-16642	orientation is an instance of ternary predicate

appearance as argument number 2

(format ChineseLanguage orientation "%1 %n 在 %2 的 %3")	chinese_format.kif 586-586
(format EnglishLanguage orientation "%1 is %n %3 to %2")	english_format.kif 590-590
(termFormat ChineseLanguage orientation "定向")	chinese_format.kif 587-587
(termFormat ChineseLanguage orientation "方位")	domainEnglishFormat.kif 42559-42559
(termFormat ChineseTraditionalLanguage orientation "方位")	domainEnglishFormat.kif 42558-42558
(termFormat EnglishLanguage orientation "orientation")	domainEnglishFormat.kif 42557-42557

antecedent

(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION)))	Mid-level-ontology.kif 8726-8729	An object is outside to another object if and only if the object is not partly located in the other object
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 16835-16839	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
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 16823-16827	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
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West))	Merge.kif 16760-16762	An object is east to another object if and only if the other object is west to the object
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal))	Merge.kif 16777-16779	An object is horizontal to another object if and only if the other object is horizontal to the object
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 16750-16752	An object is north to another object if and only if the other object is south to the object
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3575-3579	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
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3610-3614	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
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left))	Merge.kif 16856-16858	An object is right to another object if and only if the other object is left to the object
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3586-3590	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
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3598-3602	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
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical))	Merge.kif 16768-16770	An object is vertical to another object if and only if the other object is vertical to the object
(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))	Geography.kif 6023-6028	If an object is an instance of seacoast and another object is an instance of water area and the other object is adjacent to the object, then the other object is an instance of salt water area
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3))	Merge.kif 16736-16741	If a positional attribute is an instance of directional attribute and an object is the positional attribute to another object and the other object is the positional attribute to a third object, then the other object is between the object and the third object
(=> (and (instance ?FOG Fogging) (eventLocated ?FOG ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (instance ?A Aerosal) (locatedAtTime ?A (WhenFn ?FOG) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?FOG) (MeasureFn ?VISIBILITY Meter))) (lessThan ?VISIBILITY 1000.0))	Weather.kif 2536-2549	If a process is an instance of fog and the process is located at 2 and a region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object is an instance of aerosal and the other object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number meter(s), then the real number is less than 1000.0
(=> (and (instance ?HAZE AtmosphericHazing) (eventLocated ?HAZE ?AREA) (instance ?AREA GeographicArea) (instance ?AIR AtmosphericRegion) (orientation ?AIR ?AREA Above) (locatedAtTime ?PARTICULATE (WhenFn ?HAZE) ?AIR) (visibilityInMeteorology ?AREA (WhenFn ?HAZE) (MeasureFn ?VISIBILITY Kilometer))) (and (greaterThan ?VISIBILITY 2.0) (lessThan ?VISIBILITY 5.0)))	Weather.kif 2565-2579	If a process is an instance of atmospheric hazing and the process is located at 2 and a region is an instance of geographic area and an object is an instance of atmospheric region and the object is above to the region and another object located at time the time of existence of the process for the object and the visibility at the region during the time of existence of the process is a real number kilometer(s), then the real number is greater than 2.0 and the real number is less than 5.0
(=> (and (instance ?P AntiSymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (not (orientation ?O2 ?O1 ?P)))	Merge.kif 16797-16801	If a positional attribute is an instance of AntiSymmetricPositionalAttribute and an object is the positional attribute to another object, then the other object is not the positional attribute to the object
(=> (and (instance ?P SymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (orientation ?O2 ?O1 ?P))	Merge.kif 16786-16790	If a positional attribute is an instance of SymmetricPositionalAttribute and an object is the positional attribute to another object, then the other object is the positional attribute to the object
(=> (and (instance ?SHORE ShoreArea) (instance ?WATER WaterArea) (orientation ?SHORE ?WATER Adjacent)) (exists (?LINE) (and (instance ?LINE Shoreline) (part ?LINE ?SHORE) (meetsSpatially ?LINE ?WATER))))	Geography.kif 6049-6058	If an object is an instance of shore area and another object is an instance of water area and the object is adjacent to the other object, then there exists a third object such that the third object is an instance of shoreline and the third object is a part of the object and the third object meets the other object
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2))	Merge.kif 11191-11196	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is inside to the object, then the object transferred in the transfer is the object2
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2))	Merge.kif 11198-11203	If a transfer is an instance of transfer and the object transferred in the transfer is an object and the object2 is on to the object, then the object transferred in the transfer is the object2
(=> (and (instance ?T1 ?T1C) (instance ?T2 ?T2C) (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 14901-14917	If an object is an instance of the objectC and another object is an instance of the other objectC and the objectC is not equal to the other objectC and the objectC is not a subclass of the other objectC and the other objectC is not a subclass of the objectC and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
(=> (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 4169-4179	If an object is an instance of basin and another object is an instance of land area and an unit of measure is an instance of UnitOfLength and the object is a real number the unit of measure(s) above the ground and the other object is another real number the unit of measure(s) above the ground and the object is adjacent to the other object, then the other real number is greater than the real number
(=> (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 4128-4138	If a self connected object is an instance of piedmont and mountainous terrain is an attribute of another self connected object and the self connected object is adjacent to the other self connected object and an unit of measure is an instance of UnitOfLength and the height of the self connected object is a real number the unit of measure(s) and the height of the other self connected object is another real number the unit of measure(s), then the other real number is greater than the real number
(=> (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 3921-3932	If an object is an instance of underground area and an unit of measure is an instance of UnitOfLength and the object is a real number the unit of measure(s) above the ground and a self connected object is a surface of planet earth and another object is a part of the self connected object and the object is below to the other object and the other object is another real number the unit of measure(s) above the ground, then the other real number is greater than the real number

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

consequent

(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 0.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3653-3655	An object courseWRT true north another object for 0.0 angular degree(s) if and only if the object is north to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast))	Geography.kif 3677-3679	An object courseWRT true north another object for 135.0 angular degree(s) if and only if the object is southeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South))	Geography.kif 3661-3663	An object courseWRT true north another object for 180.0 angular degree(s) if and only if the object is south to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest))	Geography.kif 3681-3683	An object courseWRT true north another object for 225.0 angular degree(s) if and only if the object is southwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West))	Geography.kif 3665-3667	An object courseWRT true north another object for 270.0 angular degree(s) if and only if the object is west to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest))	Geography.kif 3685-3687	An object courseWRT true north another object for 315.0 angular degree(s) if and only if the object is northwest to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North))	Geography.kif 3669-3671	An object courseWRT true north another object for 360.0 angular degree(s) if and only if the object is north to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast))	Geography.kif 3673-3675	An object courseWRT true north another object for 45.0 angular degree(s) if and only if the object is northeast to the other object
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East))	Geography.kif 3657-3659	An object courseWRT true north another object for 90.0 angular degree(s) if and only if the object is east to the other object
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2)))	Merge.kif 16835-16839	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
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above)))	Merge.kif 16823-16827	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
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West))	Merge.kif 16760-16762	An object is east to another object if and only if the other object is west to the object
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal))	Merge.kif 16777-16779	An object is horizontal to another object if and only if the other object is horizontal to the object
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South))	Merge.kif 16750-16752	An object is north to another object if and only if the other object is south to the object
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3575-3579	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
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3610-3614	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
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left))	Merge.kif 16856-16858	An object is right to another object if and only if the other object is left to the object
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East)))	Geography.kif 3586-3590	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
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West)))	Geography.kif 3598-3602	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
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical))	Merge.kif 16768-16770	An object is vertical to another object if and only if the other object is vertical to the object
(=> (adjacentOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Adjacent))))	Hotel.kif 917-922	If an object is adjacent to a class, then there exists another object such that the other object is an instance of the class and the object is adjacent to the other object
(=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above))	Merge.kif 7624-7626	If the altitude of an object is another object, then the object is above to the other object
(=> (and (attribute ?O Concave) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Outside))	ComputingBrands.kif 2661-2672	If concave is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is outside to the self connected object
(=> (and (attribute ?O Convex) (surface ?O ?S) (part ?P1 ?S) (part ?P2 ?S) (equal ?L (LineFn ?P1 ?P2)) (not (equal ?P1 ?P2)) (part ?PL ?L)) (orientation ?PL ?O Inside))	ComputingBrands.kif 2633-2644	If convex is an attribute of a self connected object and the self connected object is a surface of another self connected object and an object is a part of the other self connected object and another object is a part of the other self connected object and a third object is equal to the line between the object and the other object and the object is not equal to the other object and a fourth object is a part of the third object, then the fourth object is inside to the self connected object
(=> (and (attribute ?X Suite) (instance ?X HotelUnit)) (exists (?R1 ?R2) (and (instance ?R1 HotelRoom) (instance ?R2 HotelRoom) (orientation ?R1 ?X Inside) (orientation ?R2 ?X Inside) (not (equal ?R1 ?R2)))))	Hotel.kif 981-992	If suite is an attribute of an object and the object is an instance of hotel unit, then there exist another object and a third object such that the other object is an instance of hotel room and the third object is an instance of hotel room and the other object is inside to the object and the third object is inside to the object and the other object is not equal to the third object

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 0

(orientation Africa NorthAmerica Southeast)	Geography.kif 282-282	Africa is southeast to north america
(orientation Africa SouthAmerica Northeast)	Geography.kif 280-280	Africa is northeast to south america
(orientation Asia Oceania Northwest)	Geography.kif 281-281	Asia is northwest to oceania
(orientation CaribbeanRegion NorthAmerica South)	Geography.kif 290-290	Caribbean region is south to north america
(orientation CaribbeanRegion SouthAmerica North)	Geography.kif 289-289	Caribbean region is north to south america
(orientation Europe Africa North)	Geography.kif 275-275	Europe is north to africa
(orientation Europe Asia West)	Geography.kif 276-276	Europe is west to asia
(orientation Europe NorthAmerica East)	Geography.kif 277-277	Europe is east to north america
(orientation Europe SouthAmerica Northeast)	Geography.kif 283-283	Europe is northeast to south america
(orientation Ireland Wales West)	Geography.kif 6654-6654	Ireland is west to Wales
(orientation IsleOfMan NorthernIreland East)	Geography.kif 6653-6653	Isle of man is east to northern ireland
(orientation MiddleAmerica NorthAmerica South)	Geography.kif 288-288	Middle america is south to north america
(orientation MiddleAmerica SouthAmerica North)	Geography.kif 287-287	Middle america is north to south america
(orientation MiddleEastRegion Africa Northeast)	Geography.kif 286-286	Middle east region is northeast to africa
(orientation MiddleEastRegion Asia Southwest)	Geography.kif 285-285	Middle east region is southwest to asia
(orientation NorthAmerica Asia East)	Geography.kif 279-279	North america is east to asia
(orientation NorthAmerica SouthAmerica North)	Geography.kif 278-278	North america is north to south america
(orientation NorthernIreland England Northwest)	Geography.kif 6642-6642	Northern ireland is northwest to England
(orientation NorthernIreland Scotland Southwest)	Geography.kif 6641-6641	Northern ireland is southwest to scotland
(orientation NorthernIreland Wales Northwest)	Geography.kif 6651-6651	Northern ireland is northwest to Wales
(orientation Oceania NorthAmerica Southwest)	Geography.kif 284-284	Oceania is southwest to north america
(orientation Scotland England North)	Geography.kif 6639-6639	Scotland is north to England
(orientation Scotland Wales North)	Geography.kif 6652-6652	Scotland is north to Wales
(orientation Wales England West)	Geography.kif 6649-6649	Wales is west to England

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

KB Term:			Term intersection

English Word: