Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Veldt(veldt) |  | veld, veldt |
| appearance as argument number 1 |
|
|
| (subclass Veldt Grassland) | Geography.kif 8377-8377 | Veldt is a subclass of grassland |
| (subclass Veldt Plain) | Geography.kif 8378-8378 | Veldt is a subclass of plain |
| (documentation Veldt EnglishLanguage "Veldt is a subclass of Grasslands which have scattered shrubs or trees.") | Geography.kif 8380-8381 | Veldt is a subclass of plain |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?PLAIN Veldt) (located ?PLAIN Africa)) |
Geography.kif 8383-8385 | If X is an instance of veldt, then X is located at africa |
| (=> (instance ?PLAIN Veldt) (vegetationTypePattern ?PLAIN Shrub ScatteredVegetation)) |
Geography.kif 8387-8389 | If X is an instance of veldt, then X is vegetation type pattern shrub for scattered vegetation |
|