No TPTP formula. May not be expressible in strict first order.	Merge.kif 16737-16737	Religious organization is a subclass of belief group
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