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

Formal Language: 



Term 1: Term 2:

(subclass Arachnid Arthropod) Merge.kif 14529-14529 Arachnid ist eine teilkategorie von Arthropod
(subclass Tick Arachnid) WMD.kif 1985-1985 Tick ist eine teilkategorie von Arachnid


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