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

Formal Language: 



Term 1: Term 2:

(subclass Sea SaltWaterArea) Geography.kif 4757-4757 Sea ist eine teilkategorie von SaltWaterArea
(subclass Sea BodyOfWater) Geography.kif 4758-4758 Sea ist eine teilkategorie von BodyOfWater


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