TreeView Knowledge Base Browser

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

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

KB Term:			Term intersection

English Word: