No TPTP formula. May not be expressible in strict first order. |
naics.kif 720-720 |
Gold ore mining is a subattribute of gold ore and silver ore mining |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 726-726 |
Silver ore mining is a subattribute of gold ore and silver ore mining |
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 |
|