TreeView Knowledge Base Browser

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 1715-1717
(domain terrainInArea 1 GeographicArea)	Geography.kif 1712-1712	terrainInArea の数値 1 引数は地理的地域の instance では %n
(domain terrainInArea 2 TerrainAttribute)	Geography.kif 1713-1713	terrainInArea の数値 2 引数は TerrainAttribute の instance では %n
(instance terrainInArea AsymmetricRelation)	Geography.kif 1711-1711	terrainInArea は非対称関係の instance では %n
(instance terrainInArea BinaryPredicate)	Geography.kif 1710-1710	terrainInArea は 2進述語の instance では %n

appearance as argument number 2

(format ChineseLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ")	domainEnglishFormat.kif 2463-2463
(format ChineseTraditionalLanguage terrainInArea "%2 %n 是在區域 %1 的 terrain ")	domainEnglishFormat.kif 2462-2462
(format EnglishLanguage terrainInArea "%2 is %n a terrain in area of %1")	domainEnglishFormat.kif 2461-2461
(termFormat ChineseLanguage terrainInArea "区域内的地形")	domainEnglishFormat.kif 57584-57584
(termFormat ChineseTraditionalLanguage terrainInArea "區域內的地形")	domainEnglishFormat.kif 57583-57583
(termFormat EnglishLanguage terrainInArea "terrain in area")	domainEnglishFormat.kif 57582-57582

antecedent

(=>
    (terrainInArea ?AREA ?ATTRIBUTE)
    (exists (?REGION)
        (and
            (instance ?REGION GeographicArea)
            (attribute ?REGION ?ATTRIBUTE)
            (partlyLocated ?REGION ?AREA))))

Geography.kif 1719-1725

terrainInArea 地理的地域 and TerrainAttribute
オブジェクトオブジェクトは地理的地域の instance では %n TerrainAttribute はオブジェクトの attribute では %n オブジェクトは partly に地理的地域に位置して %n

consequent

(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))

Geography.kif 1727-1733

地理的地域は地理的地域の instance では %n TerrainAttribute はオブジェクトの attribute では %n TerrainAttribute は TerrainAttribute の instance では %n オブジェクトは partly に地理的地域に位置して %n
terrainInArea 地理的地域 and TerrainAttribute

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: