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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 4740-4742
(externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif") pictureList.kif 3237-3237
(subclass TidalProcess InternalChange) Geography.kif 4738-4738

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


(subclass HighTide TidalProcess) Geography.kif 4773-4773
(subclass LowTide TidalProcess) Geography.kif 4762-4762
(subclass MixedTideProcess TidalProcess) Geography.kif 4785-4785
(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 4993-4998


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