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

Formal Language: 



Term 1: Term 2:

(subclass SetOrClass Abstract) Merge.kif 2128-2128 SetOrClass ist eine teilkategorie von Abstract
(subclass Class SetOrClass) Merge.kif 2136-2136 Class ist eine teilkategorie von SetOrClass
(subclass Set SetOrClass) Merge.kif 2148-2148 Set ist eine teilkategorie von SetOrClass


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