| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4800-4800 |
自动售货机制造 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4807-4807 |
商业洗衣干洗和压制机制造 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4815-4815 |
办公机械制造业 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4823-4823 |
光学仪器和镜片制造 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4838-4838 |
其他商业和服务业机械制造业 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 4830-4830 |
摄影和复印设备制造 是 商业和服务业机械制造业 的 subAttribute |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15804-15804 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15803-15803 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 15802-15802 |
|
CommercialAndServiceIndustryMachineryManufacturing