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, tidal_process, 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 4626-4628
(externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif") pictureList.kif 3237-3237 "http://upload.wikimedia.org/wikipedia/en/0/00/Tide_type.gif" is a URL depicting tidal process
(subclass TidalProcess InternalChange) Geography.kif 4624-4624 Tidal process is a subclass of internal change

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


(subclass HighTide TidalProcess) Geography.kif 4656-4656 High tide is a subclass of tidal process
(subclass LowTide TidalProcess) Geography.kif 4645-4645 Low tide is a subclass of tidal process
(subclass MixedTideProcess TidalProcess) Geography.kif 4668-4668 Mixed tide process is a subclass of tidal process
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 10099-10099 "tidal process" is the printable form of tidal process in english language

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners