Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| terrainInArea |
| appearance as argument number 1 |
|
| (instance terrainInArea BinaryPredicate) | Geography.kif 3161-3161 | terrain in area is an instance of binary predicate |
| (instance terrainInArea AsymmetricRelation) | Geography.kif 3162-3162 | terrain in area is an instance of asymmetric relation |
| (domain terrainInArea 1 GeographicArea) | Geography.kif 3163-3163 | The number 1 argument of terrain in area is an instance of geographic area |
| (domain terrainInArea 2 TerrainAttribute) | Geography.kif 3164-3164 | The number 2 argument of terrain in area is an instance of terrain attribute |
| (documentation terrainInArea EnglishLanguage "(terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE.") | Geography.kif 3166-3168 | The number 2 argument of terrain in area is an instance of terrain attribute |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage terrainInArea "%2 is %n a terrain in area of %1") | domainEnglishFormat.kif 2465-2465 | |
| (format ChineseTraditionalLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2466-2466 | |
| (format ChineseLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2467-2467 | |
| (termFormat EnglishLanguage terrainInArea "terrain in area") | domainEnglishFormat.kif 57581-57581 | |
| (termFormat ChineseTraditionalLanguage terrainInArea "區域內的地形") | domainEnglishFormat.kif 57582-57582 | |
| (termFormat ChineseLanguage terrainInArea "区域内的地形") | domainEnglishFormat.kif 57583-57583 |
| antecedent |
|
|
| (=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 3170-3176 | If X is a terrain in area of Y, then there exists Z such that Z is an instance of geographic area, X is an attribute of Z, and Z is partly located in Y |
| consequent |
|
|
| (=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 3178-3184 | If X is an instance of geographic area, Y is an attribute of Z, Y is an instance of terrain attribute, and Z is partly located in X, then Y is a terrain in area of X |
|