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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ElimPentecostalChurch
ElimPentecostalChurch(Elim pentecostal church)

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


(documentation ElimPentecostalChurch EnglishLanguage "The Class of all Elim Pentecostal Church congregations.") People.kif 1105-1106
(subclass ElimPentecostalChurch CharismaticChurch) People.kif 1104-1104 Elim pentecostal church is a subclass of charismatic church

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


(termFormat EnglishLanguage ElimPentecostalChurch "Elim pentecostal church") domainEnglishFormat.kif 64859-64859


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



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