No TPTP formula. May not be expressible in strict first order. |
naics.kif 720-720 |
GoldOreMining est un sous-attribut de GoldOreAndSilverOreMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 726-726 |
SilverOreMining est un sous-attribut de GoldOreAndSilverOreMining |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26208-26208 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26207-26207 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26206-26206 |
|