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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AudioRecorder

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 ist eine teilkategorie von InternalChange

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


(subclass HighTide TidalProcess) Geography.kif 4989-4989 HighTide ist eine teilkategorie von TidalProcess
(subclass LowTide TidalProcess) Geography.kif 4978-4978 LowTide ist eine teilkategorie von TidalProcess
(subclass MixedTideProcess TidalProcess) Geography.kif 5001-5001 MixedTideProcess ist eine teilkategorie von TidalProcess
(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