No TPTP formula. May not be expressible in strict first order.	Merge.kif 16737-16737	宗教机构 是 信仰团体 的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10673-10673
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10672-10672
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 10671-10671

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