| Charcoal(charcoal) | | charcoal, wood_coal |
| appearance as argument number 1 |
|
|
| (documentation Charcoal EnglishLanguage "A Fuel that is created by Combustion of Wood in a low Oxygen environment.") | Cars.kif 1677-1678 | |
| (roomTempState Charcoal Solid) | Mid-level-ontology.kif 31666-31666 | roomTempState charcoal and solid |
| (subclass Charcoal Fuel) | Cars.kif 1676-1676 | Charcoal is a subclass of fuel |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Charcoal "charcoal") | domainEnglishFormat.kif 64663-64663 |
| antecedent |
|
|
| (=> (instance ?CH Charcoal) (exists (?C ?W) (and (instance ?C Combustion) (instance ?W Wood) (result ?C ?CH) (resource ?C ?W)))) |
Cars.kif 1680-1687 |
|
| consequent |
|
|
| (=> (instance ?CF CharcoalFilter) (exists (?C) (and (subclass ?C Charcoal) (material ?C ?CF)))) |
Cars.kif 1694-1699 |
|
|
|
|