Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  MuseumsHistoricalSitesAndSimilarInstitutions

Sigma KEE - MuseumsHistoricalSitesAndSimilarInstitutions
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 相關的內部概念 博物館歷史遺址和類似機構 and 旅遊產業
No TPTP formula. May not be expressible in strict first order. naics.kif 11378-11378 子屬性 博物館歷史遺址和類似機構 and 藝術娛樂和遊藝

appearance as argument number 2
-------------------------


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners