No TPTP formula. May not be expressible in strict first order. |
naics.kif 6145-6145 |
杂项制造业 和 % 2 是 disjoint |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4662-4662 |
农业建设和采矿机械制造业 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4793-4793 |
商业和服务业机械制造业 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4947-4947 |
发动机涡轮和动力传动设备制造 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4722-4722 |
工业机械制造业 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4889-4889 |
金属加工机械制造业 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4984-4984 |
其他通用机械制造 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 4846-4846 |
通风采暖空调和商用制冷设备制造 是 机械制造业 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35525-35525 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35524-35524 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 35523-35523 |
|