![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
GrassFire(grass fire)
| grassfire, prairie_fire |
| appearance as argument number 1 |
|
|
| (subclass GrassFire Combustion) | Geography.kif 3870-3870 | Grass fire is a subclass of burning |
| (externalImage GrassFire "http://upload.wikimedia.org/wikipedia/commons/ e/ eb/ Stort_b%C3%A5l_sankthans.jpg") | pictureList.kif 2683-2683 | Grass fire is a subclass of burning |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?FIRE GrassFire) (exists (?GRASS) (and (instance ?GRASS Grass) (eventLocated ?FIRE ?GRASS) (patient ?FIRE ?GRASS)))) |
Geography.kif 3872-3878 | If X is an instance of grass fire, then there exists Y such that Y is an instance of grass plant, X is located at Y, and Y is a patient of X |