No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1714-1714 |
CoalMining est un sous-attribut de CoalIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1715-1715 |
CoalProductsManufacturing est un sous-attribut de CoalIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15336-15336 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15335-15335 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15334-15334 |
|