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 est une sous-classe de Church

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


(subclass FreeMethodistChurch MethodistChurch) People.kif 1023-1023 FreeMethodistChurch est une sous-classe de MethodistChurch
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1027-1027 IndependentMethodistChurch est une sous-classe de MethodistChurch
(subclass MethodistChurchInGB MethodistChurch) People.kif 1015-1015 MethodistChurchInGB est une sous-classe de MethodistChurch
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1031-1031 MethodistChurchInIreland est une sous-classe de MethodistChurch
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1039-1039 MetodistkirkenNorge est une sous-classe de MethodistChurch
(subclass Metodistsamfundet MethodistChurch) People.kif 1035-1035 Metodistsamfundet est une sous-classe de MethodistChurch
(subclass WesleyanReformUnion MethodistChurch) People.kif 1019-1019 WesleyanReformUnion est une sous-classe de 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