TidalProcess - Sigma Knowledge base Browser

appearance as argument number 1

(subclass TidalProcess InternalChange)	Geography.kif 6508-6508	Tidal process is a subclass of internal change
(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 6510-6512	Tidal process is a subclass of internal change
(externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif")	pictureList.kif 3235-3235	Tidal process is a subclass of internal change

appearance as argument number 2

(subclass LowTide TidalProcess)	Geography.kif 6534-6534	Low tide is a subclass of tidal process
(subclass HighTide TidalProcess)	Geography.kif 6545-6545	High tide is a subclass of tidal process
(subclass MixedTideProcess TidalProcess)	Geography.kif 6557-6557	Mixed tide process is a subclass of tidal process
(termFormat EnglishLanguage TidalProcess "tidal process")	domainEnglishFormat.kif 58051-58051	Mixed tide process is a subclass of tidal process
(termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程")	domainEnglishFormat.kif 58052-58052	Mixed tide process is a subclass of tidal process
(termFormat ChineseLanguage TidalProcess "潮汐过程")	domainEnglishFormat.kif 58053-58053	Mixed tide process is a subclass of tidal process

consequent

(=>
    (instance ?WATER Estuary)
    (exists (?TIDES)
        (and
            (instance ?TIDES TidalProcess)
            (eventLocated ?TIDES ?WATER))))

If X is an instance of estuary, then there exists Y such that Y is an instance of tidal process and Y is located at X