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 MethodistChurchChurchsubclass では %n

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


(subclass FreeMethodistChurch MethodistChurch) People.kif 1023-1023 FreeMethodistChurchMethodistChurchsubclass では %n
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1027-1027 IndependentMethodistChurchMethodistChurchsubclass では %n
(subclass MethodistChurchInGB MethodistChurch) People.kif 1015-1015 MethodistChurchInGBMethodistChurchsubclass では %n
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1031-1031 MethodistChurchInIrelandMethodistChurchsubclass では %n
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1039-1039 MetodistkirkenNorgeMethodistChurchsubclass では %n
(subclass Metodistsamfundet MethodistChurch) People.kif 1035-1035 MetodistsamfundetMethodistChurchsubclass では %n
(subclass WesleyanReformUnion MethodistChurch) People.kif 1019-1019 WesleyanReformUnionMethodistChurchsubclass では %n
(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