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

Formal Language: 



Term 1: Term 2:

(subclass HouseChurch LocalChurch) People.kif 1084-1084 HouseChurch ist eine teilkategorie von LocalChurch
(subclass HouseChurch CharismaticChurch) People.kif 1085-1085 HouseChurch 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