orientation |
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 16799-16803 | |
(domain orientation 1 Object) | Merge.kif 16796-16796 | |
(domain orientation 2 Object) | Merge.kif 16797-16797 | |
(domain orientation 3 PositionalAttribute) | Merge.kif 16798-16798 | |
(instance orientation SpatialRelation) | Merge.kif 16794-16794 | |
(instance orientation TernaryPredicate) | Merge.kif 16795-16795 |
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 | |
(format FrenchLanguage orientation "%1 est %n %3 � %2") | french_format.kif 351-351 | |
(format ItalianLanguage orientation "%1 � %n %3 a %2") | relations-it.txt 204-204 | |
(format JapaneseLanguage orientation "%1 は %3 対 %2 では %n") | japanese_format.kif 2098-2098 | |
(format PortugueseLanguage orientation "%1 e' %n %3 em relacao a %2") | portuguese_format.kif 303-303 | |
(format cz orientation "%1 %p{je} %n{nen�} %3 vzhledem k %2") | relations-cz.txt 359-359 | |
(format de orientation "%1 ist %3 hinsichlich %2 %n{nicht}") | relations-de.txt 767-767 | |
(format hi orientation "%1 %2 ke %3 dishaasthita %n hain") | relations-hindi.txt 242-242 | |
(format ro orientation "%1 %n{nu} este %3 faþã de %2") | relations-ro.kif 373-373 | |
(format sv orientation "%1 är %n{inte} %3 till %2") | relations-sv.txt 389-389 | |
(format tg orientation "%1 %n ay %3 sa %2") | relations-tg.txt 390-390 | |
(termFormat ChineseLanguage orientation "定向") | chinese_format.kif 587-587 | |
(termFormat ChineseLanguage orientation "方位") | domainEnglishFormat.kif 42597-42597 | |
(termFormat ChineseTraditionalLanguage orientation "方位") | domainEnglishFormat.kif 42596-42596 | |
(termFormat EnglishLanguage orientation "orientation") | domainEnglishFormat.kif 42595-42595 | |
(termFormat tg orientation "banda") | relations-tg.txt 391-391 |
antecedent |
![]() |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9086-9089 | |
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 16988-16992 | |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 16976-16980 | |
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 16913-16915 | |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 16930-16932 | |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 16903-16905 | |
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3579-3583 | |
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3614-3618 | |
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17009-17011 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3590-3594 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3602-3606 | |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 16921-16923 | |
(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6027-6032 | |
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16889-16894 | |
(=> (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 2537-2550 | |
(=> (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 2566-2580 | |
(=> (and (instance ?P AntiSymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (not (orientation ?O2 ?O1 ?P))) |
Merge.kif 16950-16954 | |
(=> (and (instance ?P SymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (orientation ?O2 ?O1 ?P)) |
Merge.kif 16939-16943 | |
(=> (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 6053-6062 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11304-11309 | |
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O On)) (objectTransferred ?T ?O2)) |
Merge.kif 11311-11316 | |
(=> (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 15055-15071 | |
(=> (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 4173-4183 | |
(=> (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 4132-4142 | |
(=> (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 3925-3936 | |
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 3657-3659 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3681-3683 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3665-3667 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3685-3687 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3669-3671 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3689-3691 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3673-3675 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3677-3679 | |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3661-3663 | |
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 16988-16992 | |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 16976-16980 | |
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 16913-16915 | |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 16930-16932 | |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 16903-16905 | |
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3579-3583 | |
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3614-3618 | |
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17009-17011 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3590-3594 | |
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3602-3606 | |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 16921-16923 | |
(=> (adjacentOrientation ?OBJ1 ?OBJ2) (exists (?X) (and (instance ?X ?OBJ2) (orientation ?OBJ1 ?X Adjacent)))) |
Hotel.kif 939-944 | |
(=> (altitude ?OBJ1 ?OBJ2 ?HEIGHT) (orientation ?OBJ1 ?OBJ2 Above)) |
Merge.kif 7700-7702 | |
(=> (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 2693-2704 | |
(=> (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 2665-2676 | |
(=> (and (attribute ?X ?SHAPE) (instance ?X FourPosterBed) (instance ?SHAPE Quadrilateral) (sideOfFigure ?SIDE1 ?SHAPE) (sideOfFigure ?SIDE2 ?SHAPE) (not (equal ?SIDE1 ?SIDE2))) (exists (?POST ?FLOOR ?CORNER1 ?CORNER) (and (part ?POST ?X) (instance ?FLOOR Floor) (orientation ?X ?FLOOR On) (orientation ?POST ?FLOOR Vertical) (pointOfIntersection ?SIDE1 ?SIDE2 ?CORNER1) (attribute ?CORNER ?CORNER1) (meetsSpatially ?CORNER ?POST)))) |
Mid-level-ontology.kif 4045-4062 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |
![]() |
![]() |
![]() |