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

Formal Language: 



Term 1: Term 2:

(subclass VolcanicMountain Mountain) Geography.kif 4078-4078 VolcanicMountain ist eine teilkategorie von Mountain
(subclass VolcanicMountain Volcano) Geography.kif 4079-4079 VolcanicMountain ist eine teilkategorie von Volcano


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