DirectionalAttribute(方向属性)![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation DirectionalAttribute ChineseLanguage "这是有关罗盘方向的 PositionalAttribute 子类别。") | chinese_format.kif 3802-3803 | |
(documentation DirectionalAttribute EnglishLanguage "The subclass of PositionalAttributes that concern compass directions.") | Merge.kif 16895-16896 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") | pictureList.kif 10866-10866 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") | pictureList.kif 9984-9984 | |
(subclass DirectionalAttribute PositionalAttribute) | Merge.kif 16894-16894 | 方向属性 是 位置属性 的 subclass |
appearance as argument number 2 |
![]() |
(instance East DirectionalAttribute) | Merge.kif 16916-16916 | 东 是 方向属性 的 instance |
(instance North DirectionalAttribute) | Merge.kif 16905-16905 | 北 是 方向属性 的 instance |
(instance Northeast DirectionalAttribute) | Geography.kif 3577-3577 | 东北 是 方向属性 的 instance |
(instance Northwest DirectionalAttribute) | Geography.kif 3611-3611 | 西北 是 方向属性 的 instance |
(instance South DirectionalAttribute) | Merge.kif 16909-16909 | 南 是 方向属性 的 instance |
(instance Southeast DirectionalAttribute) | Geography.kif 3588-3588 | 东南 是 方向属性 的 instance |
(instance Southwest DirectionalAttribute) | Geography.kif 3599-3599 | 西南 是 方向属性 的 instance |
(instance West DirectionalAttribute) | Merge.kif 16919-16919 | 西方 是 方向属性 的 instance |
(termFormat ChineseLanguage DirectionalAttribute "方向属性") | chinese_format.kif 1237-1237 | |
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") | english_format.kif 1695-1695 | |
(termFormat FrenchLanguage DirectionalAttribute "attribut directionnel") | french_format.kif 915-915 | |
(termFormat Hindi DirectionalAttribute "dishaatmaka visheshataa") | terms-hindi.txt 448-448 | |
(termFormat ItalianLanguage DirectionalAttribute "AttributoDirezionale") | terms-it.txt 449-449 | |
(termFormat JapaneseLanguage DirectionalAttribute "方向属性") | japanese_format.kif 2599-2599 | |
(termFormat PortugueseLanguage DirectionalAttribute "Atributo Directional") | portuguese_format.kif 867-867 | |
(termFormat cb DirectionalAttribute "paaging hiyas") | terms-cb.txt 453-453 | |
(termFormat cz DirectionalAttribute "directional attribute") | terms-cz.txt 487-487 | |
(termFormat ro DirectionalAttribute "atribut direcþional") | relations-ro.kif 936-936 | |
(termFormat tg DirectionalAttribute "katangian ng Pamamahala") | terms-tg.txt 452-452 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16898-16903 | |
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (geographicSubregion (DirectionalSubregionFn ?DIRECTION ?AREA) ?AREA)) |
Geography.kif 493-498 | |
(=> (and (instance ?DIRECTION DirectionalAttribute) (instance ?AREA GeographicArea) (instance (DirectionalSubregionFn ?DIRECTION ?AREA) GeographicArea)) (orientation (DirectionalSubregionFn ?DIRECTION ?AREA) (GeographicCenterFn ?AREA) ?DIRECTION)) |
Geography.kif 500-505 |
consequent |
![]() |
![]() |
![]() |