No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1798-1798 |
MiningExceptOilAndGas e' um sub-atributo de MiningIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1799-1799 |
SupportActivitiesForMetalMining e' um sub-atributo de MiningIndustry |
No TPTP formula. May not be expressible in strict first order. |
Economy.kif 1800-1800 |
SupportActivitiesForNonmetallicMineralsExceptFuels e' um sub-atributo de MiningIndustry |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37913-37913 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37912-37912 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37911-37911 |
|