TerrainAttribute |
appearance as argument number 1 |
(documentation TerrainAttribute EnglishLanguage "TerrainAttribute is a class of Attributes that describe terrain.") | Geography.kif 1739-1740 | |
(subclass TerrainAttribute InternalAttribute) | Geography.kif 1737-1737 | TerrainAttribute e' uma sub-classe de Atributo Interno |
appearance as argument number 2 |
appearance as argument number 3 |
(domain terrainInArea 2 TerrainAttribute) | Geography.kif 1713-1713 | O argumento numero 2 de terrainInArea e' uma instancia de TerrainAttribute |
antecedent |
(=> (and (instance ?AREA GeographicArea) (attribute ?REGION ?ATTRIBUTE) (instance ?ATTRIBUTE TerrainAttribute) (partlyLocated ?REGION ?AREA)) (terrainInArea ?AREA ?ATTRIBUTE)) |
Geography.kif 1727-1733 |
|
(=> (and (instance ?ATT TerrainAttribute) (attribute ?OBJECT ?ATT)) (instance ?OBJECT LandArea)) |
Geography.kif 1742-1746 |
|