No TPTP formula. May not be expressible in strict first order. |
naics.kif 676-676 |
CoalMining est un sous-attribut de MiningExceptOilAndGas |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 702-702 |
MetalOreMining est un sous-attribut de MiningExceptOilAndGas |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 771-771 |
NonmetallicMineralMiningAndQuarrying est un sous-attribut de MiningExceptOilAndGas |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37907-37907 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37906-37906 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37905-37905 |
|