| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10576-10576 |
子屬性 地毯和室內裝潢清潔服務 and 為建築物和住宅提供的服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10556-10556 |
子屬性 消滅和蟲害控制服務 and 為建築物和住宅提供的服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10563-10563 |
子屬性 清潔服務 and 為建築物和住宅提供的服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10570-10570 |
子屬性 園林綠化服務 and 為建築物和住宅提供的服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 10583-10583 |
子屬性 建築物和住宅的其他服務 and 為建築物和住宅提供的服務 |
| 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 |
|
ServicesToBuildingsAndDwellings