| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9941-9941 |
子屬性 建築服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9966-9966 |
子屬性 建築檢驗服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9960-9960 |
子屬性 製圖服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9954-9954 |
子屬性 工程服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9973-9973 |
子屬性 地球物理測繪和地圖服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9947-9947 |
子屬性 景觀建築服務 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9980-9980 |
子屬性 測量和地圖測繪除地球物理服務外 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
naics.kif 9987-9987 |
子屬性 檢測實驗室 and 建築工程及相關服務 |
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8238-8238 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8237-8237 |
|
| No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8236-8236 |
|
ArchitecturalEngineeringAndRelatedServices