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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MethodistChurch
MethodistChurch

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


(documentation MethodistChurch EnglishLanguage "The Class of Methodist %Churches.") People.kif 1012-1013
(subclass MethodistChurch Church) People.kif 1011-1011 子類 MethodistChurch and Church

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


(subclass FreeMethodistChurch MethodistChurch) People.kif 1023-1023 子類 FreeMethodistChurch and MethodistChurch
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1027-1027 子類 IndependentMethodistChurch and MethodistChurch
(subclass MethodistChurchInGB MethodistChurch) People.kif 1015-1015 子類 MethodistChurchInGB and MethodistChurch
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1031-1031 子類 MethodistChurchInIreland and MethodistChurch
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1039-1039 子類 MetodistkirkenNorge and MethodistChurch
(subclass Metodistsamfundet MethodistChurch) People.kif 1035-1035 子類 Metodistsamfundet and MethodistChurch
(subclass WesleyanReformUnion MethodistChurch) People.kif 1019-1019 子類 WesleyanReformUnion and MethodistChurch
(termFormat EnglishLanguage MethodistChurch "Methodist church") domainEnglishFormat.kif 65161-65161


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