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

Formal Language: 



Term 1: Term 2:

(subclass Mountain LandForm) Geography.kif 4026-4026 Mountain ist eine teilkategorie von LandForm
(subclass Mountain UplandArea) Geography.kif 4027-4027 Mountain ist eine teilkategorie von UplandArea
(subclass VolcanicMountain Mountain) Geography.kif 4078-4078 VolcanicMountain ist eine teilkategorie von Mountain


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