No TPTP formula. May not be expressible in strict first order. |
naics.kif 6149-6149 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3517-3517 |
塑料制品制造业 是 塑料和橡胶制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 3631-3631 |
橡胶制品制造业 是 塑料和橡胶制品制造 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46170-46170 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46169-46169 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46168-46168 |
|