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

Formal Language: 



Term 1: Term 2:

(subclass TemperateRainForest TemperateHardwoodForest) Geography.kif 6373-6373 TemperateRainForest ist eine teilkategorie von TemperateHardwoodForest
(subclass TemperateRainForest RainForest) Geography.kif 6374-6374 TemperateRainForest ist eine teilkategorie von RainForest


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