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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TidalProcess

Sigma KEE - TidalProcess
TidalProcess

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


(documentation TidalProcess EnglishLanguage "TidalProcess is the class of daily recurring events in which the water level in a BodyOfWater rises and falls with the changing position between Earth and the Moon.") Geography.kif 4852-4854
(externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif") pictureList.kif 3237-3237
(subclass TidalProcess InternalChange) Geography.kif 4850-4850

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


(subclass HighTide TidalProcess) Geography.kif 4887-4887
(subclass LowTide TidalProcess) Geography.kif 4876-4876
(subclass MixedTideProcess TidalProcess) Geography.kif 4899-4899
(termFormat ChineseLanguage TidalProcess "潮汐过程") domainEnglishFormat.kif 58019-58019
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") domainEnglishFormat.kif 58018-58018
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 58017-58017

consequent
-------------------------


(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))
Geography.kif 5107-5112


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