No TPTP formula. May not be expressible in strict first order. |
naics.kif 670-670 |
MiningExceptOilAndGas e' um sub-atributo de Mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 650-650 |
OilAndGasExtraction e' um sub-atributo de Mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 880-880 |
SupportActivitiesForMining e' um sub-atributo de Mining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37895-37895 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37894-37894 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37893-37893 |
|