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

Formal Language: 



Term 1: Term 2:

(subclass LandlockedWater BodyOfWater) Geography.kif 5078-5078 LandlockedWater ist eine teilkategorie von BodyOfWater
(subclass SaltLake LandlockedWater) Geography.kif 5087-5087 SaltLake ist eine teilkategorie von LandlockedWater


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