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

Formal Language: 



Term 1: Term 2:

(subclass HighTide TidalProcess) Geography.kif 4989-4989 HighTide ist eine teilkategorie von TidalProcess
(subclass HigherHighTide HighTide) Geography.kif 4995-4995 HigherHighTide ist eine teilkategorie von HighTide


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