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

Formal Language: 



KB Term:  Term intersection
English Word: 

  HigherHighTide

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 HigherHighTide è una sottoclasse di HighTide

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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