Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass MethodistChurch Church) People.kif 1011-1011 MethodistChurch ist eine teilkategorie von Church
(subclass MethodistChurchInGB MethodistChurch) People.kif 1015-1015 MethodistChurchInGB ist eine teilkategorie von MethodistChurch
(subclass WesleyanReformUnion MethodistChurch) People.kif 1019-1019 WesleyanReformUnion ist eine teilkategorie von MethodistChurch
(subclass FreeMethodistChurch MethodistChurch) People.kif 1023-1023 FreeMethodistChurch ist eine teilkategorie von MethodistChurch
(subclass IndependentMethodistChurch MethodistChurch) People.kif 1027-1027 IndependentMethodistChurch ist eine teilkategorie von MethodistChurch
(subclass MethodistChurchInIreland MethodistChurch) People.kif 1031-1031 MethodistChurchInIreland ist eine teilkategorie von MethodistChurch
(subclass Metodistsamfundet MethodistChurch) People.kif 1035-1035 Metodistsamfundet ist eine teilkategorie von MethodistChurch
(subclass MetodistkirkenNorge MethodistChurch) People.kif 1039-1039 MetodistkirkenNorge ist eine teilkategorie von MethodistChurch


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