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

Formal Language: 



Term 1: Term 2:

(subclass Atom ElementalSubstance) Merge.kif 1108-1108 Atom ist eine teilkategorie von ElementalSubstance
(subclass FreeAtom Atom) Mid-level-ontology.kif 21668-21668 FreeAtom ist eine teilkategorie von Atom


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