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

Formal Language: 



Term 1: Term 2:

(subclass TerritorialSea MaritimeClaimArea) Geography.kif 1196-1196 TerritorialSea ist eine teilkategorie von MaritimeClaimArea
(subclass TerritorialSea SaltWaterArea) Geography.kif 1197-1197 TerritorialSea ist eine teilkategorie von SaltWaterArea


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