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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NatureParksAndOtherSimilarInstitutions

Sigma KEE - NatureParksAndOtherSimilarInstitutions
NatureParksAndOtherSimilarInstitutions(自然公園和其他類似機構)

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


No TPTP formula. May not be expressible in strict first order. naics.kif 11407-11411
No TPTP formula. May not be expressible in strict first order. naics.kif 11405-11405 子屬性 自然公園和其他類似機構 and 博物館歷史遺址和類似機構

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39933-39933
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39932-39932
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39931-39931


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