Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   CoffeeGrind
|
|
|
| appearance as argument number 1 |
|
|
| (subclass TerrainAttribute InternalAttribute) | Geography.kif 3188-3188 | Terrain attribute is a subclass of internal attribute |
| (documentation TerrainAttribute EnglishLanguage "TerrainAttribute is a class of Attributes that describe terrain.") | Geography.kif 3190-3191 | Terrain attribute is a subclass of internal attribute |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain terrainInArea 2 TerrainAttribute) | Geography.kif 3164-3164 | The number 2 argument of terrain in area is an instance of terrain attribute |
| antecedent |
|
|
| (=> (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 |
| (=> (and (instance ?ATT TerrainAttribute) (attribute ?OBJECT ?ATT)) (instance ?OBJECT LandArea)) |
Geography.kif 3193-3197 | If X is an instance of terrain attribute and X is an attribute of Y, then Y is an instance of land area |
|