No TPTP formula. May not be expressible in strict first order. |
naics.kif 10576-10576 |
地毯和室内装潢清洁服务 是 为建筑物和住宅提供的服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10556-10556 |
消灭和虫害控制服务 是 为建筑物和住宅提供的服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10563-10563 |
清洁服务 是 为建筑物和住宅提供的服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10570-10570 |
园林绿化服务 是 为建筑物和住宅提供的服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 10583-10583 |
建筑物和住宅的其他服务 是 为建筑物和住宅提供的服务 的 subAttribute |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52299-52299 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52298-52298 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52297-52297 |
|