|
|
   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 |
|
|
|
|