No TPTP formula. May not be expressible in strict first order. |
naics.kif 4707-4707 |
子屬性 採礦機械設備製造業 and 採礦和油氣田機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4715-4715 |
子屬性 油氣田機械設備製造業 and 採礦和油氣田機械製造業 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37901-37901 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37900-37900 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 37899-37899 |
|