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 1013-1014
(subclass MethodistChurch Church) People.kif 1012-1012 Methodist church is a subclass of church

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


(subclass FreeMethodistChurch MethodistChurch) People.kif 1024-1024 Free methodist church is a subclass of Methodist church
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1028-1028 Independent Methodist church is a subclass of Methodist church
(subclass MethodistChurchInGB MethodistChurch) People.kif 1016-1016 Methodist church in GB is a subclass of Methodist church
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1032-1032 Methodist church in Ireland is a subclass of Methodist church
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1040-1040 Metodistkirken norge is a subclass of Methodist church
(subclass Metodistsamfundet MethodistChurch) People.kif 1036-1036 Metodistsamfundet is a subclass of Methodist church
(subclass WesleyanReformUnion MethodistChurch) People.kif 1020-1020 Wesleyan reform union is a subclass of Methodist church
(termFormat EnglishLanguage MethodistChurch "Methodist church") domainEnglishFormat.kif 65184-65184 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