No TPTP formula. May not be expressible in strict first order. |
naics.kif 5669-5669 |
所有其他杂项电气设备和部件制造 是 所有其他电气设备和部件制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 5662-5662 |
碳和石墨产品制造 是 所有其他电气设备和部件制造 的 subAttribute |
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 |
|