No TPTP formula. May not be expressible in strict first order. |
naics.kif 670-670 |
MiningExceptOilAndGas est un sous-attribut de Mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 650-650 |
OilAndGasExtraction est un sous-attribut de Mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 880-880 |
SupportActivitiesForMining est un sous-attribut 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 |
|