Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Charcoal(charcoal) |  | charcoal, wood_coal |
| appearance as argument number 1 |
|
|
| (subclass Charcoal Fuel) | Cars.kif 1556-1556 | Charcoal is a subclass of fuel |
| (documentation Charcoal EnglishLanguage "A Fuel that is created by Combustion of Wood in a low Oxygen environment.") | Cars.kif 1557-1558 | Charcoal is a subclass of fuel |
| (roomTempState Charcoal Solid) | Cars.kif 1559-1559 | room temperature state charcoal and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Charcoal "charcoal") | domainEnglishFormat.kif 64618-64618 |
| antecedent |
|
|
| (=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W)))) |
Cars.kif 1561-1568 | If X is an instance of charcoal, then there exist Y, Z such that Y is an instance of burning, Z is an instance of wood, X is a result of Y, and Z is a resource for Y |
| consequent |
|
|
| (=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF)))) |
Cars.kif 1575-1580 | If X is an instance of charcoal filter, then there exists Y such that Y is a subclass of charcoal and X is made of Y |
|