| Coal(coal)
| | anthracite, anthracite_coal, bituminous_coal, coal, hard_coal, sea_coal, soft_coal, steam_coal |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2147-2151 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 855-855 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 33344-33344 | room temperature state coal and solid |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2143-2143 | Coal is a subclass of fossil fuel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2142-2142 | Coal is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2144-2144 | Coal is a subclass of rock |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1841-1841 | Coal is an industry product type of coal mining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2145-2145 | Coal has &ames$"name" "coal" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2128-2128 | Brown coal is a subclass of coal |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15333-15333 | Brown coal is a subclass of coal |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15332-15332 | Brown coal is a subclass of coal |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15331-15331 | Brown coal is a subclass of coal |
|
|
|