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 16915-16919 | |
(domain orientation 1 Object) | Merge.kif 16912-16912 | Die Zahl 1 Argument von orientation ist ein fall von Object %n{nicht} |
(domain orientation 2 Object) | Merge.kif 16913-16913 | Die Zahl 2 Argument von orientation ist ein fall von Object %n{nicht} |
(domain orientation 3 PositionalAttribute) | Merge.kif 16914-16914 | Die Zahl 3 Argument von orientation ist ein fall von PositionalAttribute %n{nicht} |
(instance orientation SpatialRelation) | Merge.kif 16910-16910 | orientation ist ein fall von SpatialRelation %n{nicht} |
(instance orientation TernaryPredicate) | Merge.kif 16911-16911 | orientation ist ein fall von TernaryPredicate %n{nicht} |
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 42582-42582 | |
(termFormat ChineseTraditionalLanguage orientation "方位") | domainEnglishFormat.kif 42581-42581 | |
(termFormat EnglishLanguage orientation "orientation") | domainEnglishFormat.kif 42580-42580 | |
(termFormat tg orientation "banda") | relations-tg.txt 391-391 |
antecedent |
(<=> (orientation ?OBJ ?REGION Outside) (not (partlyLocated ?OBJ ?REGION))) |
Mid-level-ontology.kif 9119-9122 | Object ist Outside hinsichlich ** Object %n{nicht} genau dann wenn ** Object befindet sich teils an nicht |
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17103-17107 | Object ist Adjacent hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist Near hinsichlich ** ** Object %n{nicht} oder ** Object wird an ** ** Object angeschlossen |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17091-17095 | Object ist Below hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist On hinsichlich ** Object %n{nicht} oder ** ** Object ist Above hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 17028-17030 | Object ist East hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist West hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17045-17047 | Object ist Horizontal hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Horizontal hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17018-17020 | Object ist North hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist South hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3653-3657 | Object ist Northeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3688-3692 | Object ist Northwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17124-17126 | Object ist Right hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Left hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3664-3668 | Object ist Southeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3676-3680 | Object ist Southwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 17036-17038 | Object ist Vertical hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Vertical hinsichlich ** Object %n{nicht} |
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?LA ?O) (meetsSpatially ?LL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?RA ?O)) (not (meetsSpatially ?RL ?O))))) |
Anatomy.kif 1838-1860 |
|
(=> (and (holdsDuring ?T (and (attribute ?H LateralRecumbant) (orientation ?H ?O On))) (instance ?LA LeftArm) (part ?LA ?H) (instance ?RA RightArm) (part ?RA ?H) (instance ?LL LeftLeg) (part ?LL ?H) (instance ?RL RightLeg) (part ?RL ?H) (or (meetsSpatially ?RA ?O) (meetsSpatially ?RL ?O))) (holdsDuring ?T (and (not (meetsSpatially ?LA ?O)) (not (meetsSpatially ?LL ?O))))) |
Anatomy.kif 1862-1884 |
|
(=> (and (holdsDuring ?T (and (attribute ?H Prone) (orientation ?H ?O On))) (instance ?C Chest) (part ?C ?H)) (meetsSpatially ?C ?O)) |
Anatomy.kif 1799-1807 |
|
(=> (and (holdsDuring ?T (and (attribute ?H Supine) (orientation ?H ?O On))) (equal ?B (BackFn ?H))) (meetsSpatially ?B ?O)) |
Anatomy.kif 1814-1821 |
|
(=> (and (instance ?B Bleeding) (instance ?D Death) (instance ?H Human) (instance ?P Human) (experiencer ?B ?P) (orientation ?H ?P Near) (modalAttribute (causes ?B ?D) Likely)) (holdsObligation ?H (exists (?A) (and (instance ?A Attaching) (agent ?A ?H) (destination ?A ?P))))) |
Medicine.kif 44-59 |
|
(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea)) |
Geography.kif 6126-6131 |
|
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 17004-17009 |
|
(=> (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 17065-17069 |
|
(=> (and (instance ?P SymmetricPositionalAttribute) (orientation ?O1 ?O2 ?P)) (orientation ?O2 ?O1 ?P)) |
Merge.kif 17054-17058 |
|
(=> (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 6152-6161 |
|
(=> (and (instance ?T Transfer) (objectTransferred ?T ?O) (orientation ?O2 ?O Inside)) (objectTransferred ?T ?O2)) |
Merge.kif 11352-11357 |
|
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 3731-3733 | courseWRTTrueNorth Object, ** Object and 0.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 135.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southeast)) |
Geography.kif 3755-3757 | courseWRTTrueNorth Object, ** Object and 135.0 AngularDegree(s) genau dann wenn ** Object ist Southeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 180.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 South)) |
Geography.kif 3739-3741 | courseWRTTrueNorth Object, ** Object and 180.0 AngularDegree(s) genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 225.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Southwest)) |
Geography.kif 3759-3761 | courseWRTTrueNorth Object, ** Object and 225.0 AngularDegree(s) genau dann wenn ** Object ist Southwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 270.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 West)) |
Geography.kif 3743-3745 | courseWRTTrueNorth Object, ** Object and 270.0 AngularDegree(s) genau dann wenn ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 315.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northwest)) |
Geography.kif 3763-3765 | courseWRTTrueNorth Object, ** Object and 315.0 AngularDegree(s) genau dann wenn ** Object ist Northwest hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 360.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 North)) |
Geography.kif 3747-3749 | courseWRTTrueNorth Object, ** Object and 360.0 AngularDegree(s) genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 45.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 Northeast)) |
Geography.kif 3751-3753 | courseWRTTrueNorth Object, ** Object and 45.0 AngularDegree(s) genau dann wenn ** Object ist Northeast hinsichlich ** ** Object %n{nicht} |
(<=> (courseWRTTrueNorth ?OBJ1 ?OBJ2 (MeasureFn 90.0 AngularDegree)) (orientation ?OBJ1 ?OBJ2 East)) |
Geography.kif 3735-3737 | courseWRTTrueNorth Object, ** Object and 90.0 AngularDegree(s) genau dann wenn ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Adjacent) (or (orientation ?OBJ1 ?OBJ2 Near) (connected ?OBJ1 ?OBJ2))) |
Merge.kif 17103-17107 | Object ist Adjacent hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist Near hinsichlich ** ** Object %n{nicht} oder ** Object wird an ** ** Object angeschlossen |
(<=> (orientation ?OBJ1 ?OBJ2 Below) (or (orientation ?OBJ2 ?OBJ1 On) (orientation ?OBJ2 ?OBJ1 Above))) |
Merge.kif 17091-17095 | Object ist Below hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist On hinsichlich ** Object %n{nicht} oder ** ** Object ist Above hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 East) (orientation ?OBJ2 ?OBJ1 West)) |
Merge.kif 17028-17030 | Object ist East hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist West hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Horizontal) (orientation ?OBJ2 ?OBJ1 Horizontal)) |
Merge.kif 17045-17047 | Object ist Horizontal hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Horizontal hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ2 ?OBJ1 South)) |
Merge.kif 17018-17020 | Object ist North hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist South hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Northeast) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3653-3657 | Object ist Northeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Northwest) (and (orientation ?OBJ1 ?OBJ2 North) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3688-3692 | Object ist Northwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist North hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Right) (orientation ?OBJ2 ?OBJ1 Left)) |
Merge.kif 17124-17126 | Object ist Right hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Left hinsichlich ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Southeast) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 East))) |
Geography.kif 3664-3668 | Object ist Southeast hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist East hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Southwest) (and (orientation ?OBJ1 ?OBJ2 South) (orientation ?OBJ1 ?OBJ2 West))) |
Geography.kif 3676-3680 | Object ist Southwest hinsichlich ** Object %n{nicht} genau dann wenn ** Object ist South hinsichlich ** ** Object %n{nicht} und ** Object ist West hinsichlich ** ** Object %n{nicht} |
(<=> (orientation ?OBJ1 ?OBJ2 Vertical) (orientation ?OBJ2 ?OBJ1 Vertical)) |
Merge.kif 17036-17038 | Object ist Vertical hinsichlich ** Object %n{nicht} genau dann wenn ** ** Object ist Vertical hinsichlich ** Object %n{nicht} |
(=> (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 7714-7716 | |
(=> (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 4078-4095 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 0 |