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

Formal Language: 



Term 1: Term 2:

(subclass TemperateHardwoodForest Biome) Geography.kif 6376-6376 TemperateHardwoodForest ist eine teilkategorie von Biome
(subclass TemperateHardwoodForest Forest) Geography.kif 6377-6377 TemperateHardwoodForest ist eine teilkategorie von Forest
(subclass TemperateRainForest TemperateHardwoodForest) Geography.kif 6373-6373 TemperateRainForest ist eine teilkategorie von TemperateHardwoodForest


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