No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1714-1714 |
CoalMining e' um sub-atributo de CoalIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1715-1715 |
CoalProductsManufacturing e' um sub-atributo 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 |
|