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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CrossCountrySkiing

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 潮汐过程内部变化subclass

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


(subclass HighTide TidalProcess) Geography.kif 4989-4989 高潮潮汐过程subclass
(subclass LowTide TidalProcess) Geography.kif 4978-4978 低潮潮汐过程subclass
(subclass MixedTideProcess TidalProcess) Geography.kif 5001-5001 混合潮流过程潮汐过程subclass
(termFormat ChineseLanguage TidalProcess "潮汐过程") domainEnglishFormat.kif 58054-58054
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") domainEnglishFormat.kif 58053-58053
(termFormat EnglishLanguage TidalProcess "tidal process") domainEnglishFormat.kif 58052-58052

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


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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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