Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - HigherHighTide
HigherHighTide(涨潮)

appearance as argument number 1
-------------------------


(documentation HigherHighTide EnglishLanguage "HigherHighTide is the subclass of HighTide processes that occur in marine waters with a MixedTideProcess.") Geography.kif 4997-4999
(subclass HigherHighTide HighTide) Geography.kif 4995-4995 涨潮高潮subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage HigherHighTide "涨潮") domainEnglishFormat.kif 28083-28083
(termFormat ChineseTraditionalLanguage HigherHighTide "漲潮") domainEnglishFormat.kif 28082-28082
(termFormat EnglishLanguage HigherHighTide "higher high tide") domainEnglishFormat.kif 28081-28081


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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