TreeView Knowledge Base Browser - MuseumsHistoricalSitesAndSimilarInstitutions

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	naics.kif 11380-11383
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1904-1904	博物馆历史遗址和类似机构和旅游产业是内部相关
No TPTP formula. May not be expressible in strict first order.	naics.kif 11378-11378	博物馆历史遗址和类似机构是艺术娱乐和游艺的 subAttribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	naics.kif 11391-11391	历史遗迹是博物馆历史遗址和类似机构的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11385-11385	博物馆是博物馆历史遗址和类似机构的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11405-11405	自然公园和其他类似机构是博物馆历史遗址和类似机构的 subAttribute
No TPTP formula. May not be expressible in strict first order.	naics.kif 11398-11398	动物园和植物园是博物馆历史遗址和类似机构的 subAttribute
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