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 4640-4642
(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 4638-4638 Tidal process is a subclass of internal change

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


(subclass HighTide TidalProcess) Geography.kif 4670-4670 High tide is a subclass of tidal process
(subclass LowTide TidalProcess) Geography.kif 4659-4659 Low tide is a subclass of tidal process
(subclass MixedTideProcess TidalProcess) Geography.kif 4682-4682 Mixed tide process is a subclass of tidal process
(termFormat ChineseLanguage TidalProcess "潮汐过程") domainEnglishFormat.kif 57991-57991 "潮汐过程" is the printable form of tidal process in ChineseLanguage
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") domainEnglishFormat.kif 57990-57990 "潮汐過程" is the printable form of tidal process in ChineseTraditionalLanguage
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 57989-57989 "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 4887-4892


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