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

Formal Language: 



Term 1: Term 2:

(subclass Cave HoleRegion) Geography.kif 6012-6012 Cave ist eine teilkategorie von HoleRegion
(subclass Cave GeographicArea) Geography.kif 6013-6013 Cave ist eine teilkategorie von GeographicArea


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