No TPTP formula. May not be expressible in strict first order. |
naics.kif 5669-5669 |
子屬性 所有其他雜項電氣設備和部件製造 and 所有其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5662-5662 |
子屬性 碳和石墨產品製造 and 所有其他電氣設備和部件製造 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6624-6624 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6623-6623 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 6622-6622 |
|