| 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 1960-1964 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 856-856 | "http://upload.wikimedia.org/wikipedia/commons/7/72/ Coal_anthracite.jpg" is a URL depicting coal |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1956-1956 | Coal is a subclass of fossil fuel |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1955-1955 | Coal is a subclass of mineral |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1957-1957 | Coal is a subclass of rock |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 1720-1720 | Coal is an industry product type of coal mining |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1958-1958 | Coal has name "coal" |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1941-1941 | Brown coal is a subclass of coal |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15265-15265 | "煤" is the printable form of coal in ChineseLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15264-15264 | "煤" is the printable form of coal in ChineseTraditionalLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 15263-15263 | "coal" is the printable form of coal in english language |
|
|
|