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

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


(subclass HighTide TidalProcess) Geography.kif 5085-5085 High tide is a subclass of tidal process
(subclass LowTide TidalProcess) Geography.kif 5074-5074 Low tide is a subclass of tidal process
(subclass MixedTideProcess TidalProcess) Geography.kif 5097-5097 Mixed tide process is a subclass of tidal process
(termFormat ChineseLanguage TidalProcess "潮汐过程") domainEnglishFormat.kif 58060-58060 Mixed tide process is a subclass of tidal process
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") domainEnglishFormat.kif 58059-58059 Mixed tide process is a subclass of tidal process
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 58058-58058 Mixed tide process is a subclass of tidal process

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


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


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