Employment
|
|
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 17072-17073 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 6/ 6e/ Compass_%28PSF%29.png") | pictureList.kif 10864-10864 | |
(externalImage DirectionalAttribute "http://upload.wikimedia.org/wikipedia/ commons/ 9/ 99/ Kompas_Sofia.JPG") | pictureList.kif 9984-9984 | |
(subclass DirectionalAttribute PositionalAttribute) | Merge.kif 17071-17071 | 方向属性 は 位置属性 の subclass では %n |
appearance as argument number 2 |
(instance East DirectionalAttribute) | Merge.kif 17093-17093 | East は 方向属性 の instance では %n |
(instance North DirectionalAttribute) | Merge.kif 17082-17082 | North は 方向属性 の instance では %n |
(instance Northeast DirectionalAttribute) | Geography.kif 3648-3648 | Northeast は 方向属性 の instance では %n |
(instance Northwest DirectionalAttribute) | Geography.kif 3682-3682 | Northwest は 方向属性 の instance では %n |
(instance South DirectionalAttribute) | Merge.kif 17086-17086 | South は 方向属性 の instance では %n |
(instance Southeast DirectionalAttribute) | Geography.kif 3659-3659 | Southeast は 方向属性 の instance では %n |
(instance Southwest DirectionalAttribute) | Geography.kif 3670-3670 | Southwest は 方向属性 の instance では %n |
(instance West DirectionalAttribute) | Merge.kif 17096-17096 | West は 方向属性 の instance では %n |
(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 451-451 | |
(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 17075-17080 | |
(=> (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 |