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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BaptistChurch
BaptistChurch

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


(documentation BaptistChurch EnglishLanguage "The Class of BaptistChurches.") People.kif 852-852
(subclass BaptistChurch Church) People.kif 851-851 BaptistChurchChurchsubclass

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


(subclass BaptistUnionOfGB BaptistChurch) People.kif 879-879 BaptistUnionOfGBBaptistChurchsubclass
(subclass BaptistUnionOfIreland BaptistChurch) People.kif 854-854 BaptistUnionOfIrelandBaptistChurchsubclass
(subclass BaptistUnionOfScotland BaptistChurch) People.kif 858-858 BaptistUnionOfScotlandBaptistChurchsubclass
(subclass BaptistUnionOfWales BaptistChurch) People.kif 862-862 BaptistUnionOfWalesBaptistChurchsubclass
(subclass Baptistsamfundet BaptistChurch) People.kif 883-883 BaptistsamfundetBaptistChurchsubclass
(subclass DetNorskeBaptistsamfunn BaptistChurch) People.kif 887-887 DetNorskeBaptistsamfunnBaptistChurchsubclass
(subclass GospelStandardStrictBaptistChurch BaptistChurch) People.kif 866-866 GospelStandardStrictBaptistChurchBaptistChurchsubclass
(subclass GraceBaptistAssembly BaptistChurch) People.kif 871-871 GraceBaptistAssemblyBaptistChurchsubclass
(subclass OldBaptistUnionChurch BaptistChurch) People.kif 875-875 OldBaptistUnionChurchBaptistChurchsubclass
(termFormat EnglishLanguage BaptistChurch "Baptist church") domainEnglishFormat.kif 64513-64513


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