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

Formal Language: 



KB Term:  Term intersection
English Word: 

  OldBaptistUnionChurch

Sigma KEE - OldBaptistUnionChurch
OldBaptistUnionChurch

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


(documentation OldBaptistUnionChurch EnglishLanguage "The Class of old Baptist Union Churches.") People.kif 876-877
(subclass OldBaptistUnionChurch BaptistChurch) People.kif 875-875 OldBaptistUnionChurchBaptistChurchsubclass では %n

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


(termFormat EnglishLanguage OldBaptistUnionChurch "Old Baptist union church") domainEnglishFormat.kif 65266-65266


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