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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Museum

 Sigma KEE - Museum
Museum(博物馆)

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8493-8494
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8492-8492 博物馆 是 教育机构 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 8496-8496 美术博物馆 是 博物馆 的 subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39345-39345
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39344-39344
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39343-39343


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