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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TidalProcess
TidalProcess(tidal process)
ebb, flood, flood_tide, lee_tide, leeward_tide, neap, neap_tide, reflux, rising_tide, slack_tide, slack_water, springtide, tide

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 4954-4956
(externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif") pictureList.kif 3236-3236
(subclass TidalProcess InternalChange) Geography.kif 4952-4952 Tidal process is a subclass of internal change

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


(subclass HighTide TidalProcess) Geography.kif 4989-4989 High tide is a subclass of tidal process
(subclass LowTide TidalProcess) Geography.kif 4978-4978 Low tide is a subclass of tidal process
(subclass MixedTideProcess TidalProcess) Geography.kif 5001-5001 Mixed tide process is a subclass of tidal process
(termFormat ChineseLanguage TidalProcess "潮汐过程") domainEnglishFormat.kif 58052-58052
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") domainEnglishFormat.kif 58051-58051
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 58050-58050

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


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


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