Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - terrainInArea
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 引数は TerrainAttributeinstance では
(instance terrainInArea AsymmetricRelation) Geography.kif 1699-1699 terrainInArea非対称関係instance では
(instance terrainInArea BinaryPredicate) Geography.kif 1698-1698 terrainInArea2進述語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


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners