No TPTP formula. May not be expressible in strict first order. |
naics.kif 11391-11391 |
子屬性 歷史遺跡 and 博物館歷史遺址和類似機構 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11385-11385 |
子屬性 博物館 and 博物館歷史遺址和類似機構 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11405-11405 |
子屬性 自然公園和其他類似機構 and 博物館歷史遺址和類似機構 |
No TPTP formula. May not be expressible in strict first order. |
naics.kif 11398-11398 |
子屬性 動物園和植物園 and 博物館歷史遺址和類似機構 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39357-39357 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39356-39356 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 39355-39355 |
|