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 16720-16721 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") | pictureList.kif 10874-10874 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") | pictureList.kif 9992-9992 | |
(subclass DirectionalAttribute PositionalAttribute) | Merge.kif 16719-16719 | 方向属性 是 位置属性 的 subclass |
appearance as argument number 2 |
![]() |
(instance East DirectionalAttribute) | Merge.kif 16741-16741 | 东 是 方向属性 的 instance |
(instance North DirectionalAttribute) | Merge.kif 16730-16730 | 北 是 方向属性 的 instance |
(instance Northeast DirectionalAttribute) | Geography.kif 3570-3570 | 东北 是 方向属性 的 instance |
(instance Northwest DirectionalAttribute) | Geography.kif 3604-3604 | 西北 是 方向属性 的 instance |
(instance South DirectionalAttribute) | Merge.kif 16734-16734 | 南 是 方向属性 的 instance |
(instance Southeast DirectionalAttribute) | Geography.kif 3581-3581 | 东南 是 方向属性 的 instance |
(instance Southwest DirectionalAttribute) | Geography.kif 3592-3592 | 西南 是 方向属性 的 instance |
(instance West DirectionalAttribute) | Merge.kif 16744-16744 | 西方 是 方向属性 的 instance |
(termFormat ChineseLanguage DirectionalAttribute "方向属性") | chinese_format.kif 1237-1237 | |
(termFormat EnglishLanguage DirectionalAttribute "directional attribute") | english_format.kif 1695-1695 |
appearance as argument number 3 |
![]() |
antecedent |
![]() |
(=> (and (instance ?DIRECT DirectionalAttribute) (orientation ?OBJ1 ?OBJ2 ?DIRECT) (orientation ?OBJ2 ?OBJ3 ?DIRECT)) (between ?OBJ1 ?OBJ2 ?OBJ3)) |
Merge.kif 16723-16728 | |
(=> (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 |
![]() |
![]() |
![]() |