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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TerrainAttribute
TerrainAttribute

appearance as argument number 1
-------------------------


(documentation TerrainAttribute EnglishLanguage "TerrainAttribute is a class of Attributes that describe terrain.") Geography.kif 1710-1711
(subclass TerrainAttribute InternalAttribute) Geography.kif 1708-1708

appearance as argument number 2
-------------------------


(instance FertileTerrain TerrainAttribute) Geography.kif 1790-1790
(instance FlatTerrain TerrainAttribute) Geography.kif 1719-1719
(instance GeologicallyStable TerrainAttribute) Geography.kif 1822-1822
(instance LowTerrain TerrainAttribute) Geography.kif 1732-1732
(instance MountainousTerrain TerrainAttribute) Geography.kif 1758-1758
(instance SteepTerrain TerrainAttribute) Geography.kif 1744-1744
(termFormat ChineseLanguage TerrainAttribute "地形属性") domainEnglishFormat.kif 57545-57545
(termFormat ChineseTraditionalLanguage TerrainAttribute "地形屬性") domainEnglishFormat.kif 57544-57544
(termFormat EnglishLanguage TerrainAttribute "terrain attribute") domainEnglishFormat.kif 57543-57543

appearance as argument number 3
-------------------------


(domain terrainInArea 2 TerrainAttribute) Geography.kif 1684-1684

antecedent
-------------------------


(=>
    (and
        (instance ?AREA GeographicArea)
        (attribute ?REGION ?ATTRIBUTE)
        (instance ?ATTRIBUTE TerrainAttribute)
        (partlyLocated ?REGION ?AREA))
    (terrainInArea ?AREA ?ATTRIBUTE))
Geography.kif 1698-1704
(=>
    (and
        (instance ?ATT TerrainAttribute)
        (attribute ?OBJECT ?ATT))
    (instance ?OBJECT LandArea))
Geography.kif 1713-1717


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