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 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 |
![]() |
consequent |
![]() |
appearance as argument number 0 |
![]() |
![]() |
![]() |