Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Coal(coal)
|  | anthracite, anthracite_coal, bituminous_coal, coal, hard_coal, sea_coal, soft_coal, steam_coal |
| appearance as argument number 1 |
|
|
| (subclass Coal Mineral) | Geography.kif 3469-3469 | Coal is a subclass of mineral |
| (subclass Coal FossilFuel) | Geography.kif 3470-3470 | Coal is a subclass of fossil fuel |
| (subclass Coal Rock) | Geography.kif 3471-3471 | Coal is a subclass of rock |
| (documentation Coal EnglishLanguage "Coal is a black or brownish black solid combustible substance formed by the partial decomposition of vegetable matter without free access of air and under the influence of moisture and often increased pressure and temperature. Coal is a sedimentary rock containing a high proportion of carbon.") | Geography.kif 3473-3477 | Coal is a subclass of rock |
| (roomTempState Coal Solid) | Geography.kif 3478-3478 | room temperature state coal and solid |
| (externalImage Coal "http://upload.wikimedia.org/wikipedia/commons/7/72/ Coal_anthracite.jpg") | pictureList.kif 855-855 | room temperature state coal and solid |
| appearance as argument number 2 |
|
|
| (industryProductType CoalMining Coal) | Economy.kif 1836-1836 | Coal is an industry product type of coal mining |
| (subclass BrownCoal Coal) | Geography.kif 3454-3454 | Brown coal is a subclass of coal |
| (names "coal" Coal) | Geography.kif 3472-3472 | Coal has name "coal" |
| (termFormat EnglishLanguage Coal "coal") | domainEnglishFormat.kif 15324-15324 | Coal has name "coal" |
| (termFormat ChineseTraditionalLanguage Coal "煤") | domainEnglishFormat.kif 15325-15325 | Coal has name "coal" |
| (termFormat ChineseLanguage Coal "煤") | domainEnglishFormat.kif 15326-15326 | Coal has name "coal" |
|