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

Formal Language: 



Term 1: Term 2:

(subclass CommunityChurch LocalChurch) People.kif 1090-1090 CommunityChurch ist eine teilkategorie von LocalChurch
(subclass CommunityChurch CharismaticChurch) People.kif 1091-1091 CommunityChurch ist eine teilkategorie von CharismaticChurch


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