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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MethodistChurch
MethodistChurch(Methodist church)Methodist_Church, Methodists

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


(documentation MethodistChurch EnglishLanguage "The Class of Methodist %Churches.") People.kif 1012-1013
(subclass MethodistChurch Church) People.kif 1011-1011 Methodist church is a subclass of church

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


(subclass FreeMethodistChurch MethodistChurch) People.kif 1023-1023 Free methodist church is a subclass of Methodist church
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1027-1027 Independent Methodist church is a subclass of Methodist church
(subclass MethodistChurchInGB MethodistChurch) People.kif 1015-1015 Methodist church in GB is a subclass of Methodist church
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1031-1031 Methodist church in Ireland is a subclass of Methodist church
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1039-1039 Metodistkirken norge is a subclass of Methodist church
(subclass Metodistsamfundet MethodistChurch) People.kif 1035-1035 Metodistsamfundet is a subclass of Methodist church
(subclass WesleyanReformUnion MethodistChurch) People.kif 1019-1019 Wesleyan reform union is a subclass of Methodist church
(termFormat EnglishLanguage MethodistChurch "Methodist church") domainEnglishFormat.kif 65209-65209 Wesleyan reform union is a subclass of Methodist church


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