terrainInArea |
appearance as argument number 1 |
![]() |
(documentation terrainInArea EnglishLanguage "(terrainInArea ?AREA ?ATTRIBUTE) means that the GeographicArea ?AREA is or includes a region with the features of TerrainArea ?ATTRIBUTE.") | Geography.kif 1703-1705 | |
(domain terrainInArea 1 GeographicArea) | Geography.kif 1700-1700 | terrainInArea の数値 1 引数は 地理的地域 の instance では |
(domain terrainInArea 2 TerrainAttribute) | Geography.kif 1701-1701 | terrainInArea の数値 2 引数は TerrainAttribute の instance では |
(instance terrainInArea AsymmetricRelation) | Geography.kif 1699-1699 | terrainInArea は 非対称関係 の instance では |
(instance terrainInArea BinaryPredicate) | Geography.kif 1698-1698 | terrainInArea は 2進述語 の instance では |
appearance as argument number 2 |
![]() |
(format ChineseLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2467-2467 | |
(format ChineseTraditionalLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ") | domainEnglishFormat.kif 2466-2466 | |
(format EnglishLanguage terrainInArea "%2 is %n a terrain in area of %1") | domainEnglishFormat.kif 2465-2465 | |
(termFormat ChineseLanguage terrainInArea "区域内的地形") | domainEnglishFormat.kif 57590-57590 | |
(termFormat ChineseTraditionalLanguage terrainInArea "區域內的地形") | domainEnglishFormat.kif 57589-57589 | |
(termFormat EnglishLanguage terrainInArea "terrain in area") | domainEnglishFormat.kif 57588-57588 |
antecedent |
![]() |
(=> (terrainInArea ?AREA ?ATTRIBUTE) (exists (?REGION) (and (instance ?REGION GeographicArea) (attribute ?REGION ?ATTRIBUTE) (partlyLocated ?REGION ?AREA)))) |
Geography.kif 1707-1713 |
|
consequent |
![]() |
(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1715-1721 |
|
![]() |
![]() |