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

Formal Language: 



Term 1: Term 2:

(subclass NaturalSubstance Substance) Merge.kif 1080-1080 NaturalSubstance ist eine teilkategorie von Substance
(subclass NaturalMagnet NaturalSubstance) Cars.kif 3881-3881 NaturalMagnet ist eine teilkategorie von NaturalSubstance


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