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 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 TidalProcess内部変化subclass では %n

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


(subclass HighTide TidalProcess) Geography.kif 4989-4989 HighTideTidalProcesssubclass では %n
(subclass LowTide TidalProcess) Geography.kif 4978-4978 LowTideTidalProcesssubclass では %n
(subclass MixedTideProcess TidalProcess) Geography.kif 5001-5001 MixedTideProcessTidalProcesssubclass では %n
(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