No TPTP formula. May not be expressible in strict first order. |
naics.kif 720-720 |
GoldOreMining e' um sub-atributo de GoldOreAndSilverOreMining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 726-726 |
SilverOreMining e' um sub-atributo 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 |
|