| TidalProcess(tidal process)
| | ebb, flood, flood_tide, lee_tide, leeward_tide, neap, neap_tide, reflux, rising_tide, slack_tide, slack_water, springtide, tidal_process, tide, 潮汐过程, 潮汐過程 |
| 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 4640-4642 | |
| (externalImage TidalProcess "http://upload.wikimedia.org/wikipedia/en/0/ 00/ Tide_type.gif") | pictureList.kif 3237-3237 | "http://upload.wikimedia.org/wikipedia/en/0/00/Tide_type.gif" is a URL depicting tidal process |
| (subclass TidalProcess InternalChange) | Geography.kif 4638-4638 | Tidal process is a subclass of internal change |
| appearance as argument number 2 |
|
|
| (subclass HighTide TidalProcess) | Geography.kif 4670-4670 | High tide is a subclass of tidal process |
| (subclass LowTide TidalProcess) | Geography.kif 4659-4659 | Low tide is a subclass of tidal process |
| (subclass MixedTideProcess TidalProcess) | Geography.kif 4682-4682 | Mixed tide process is a subclass of tidal process |
| (termFormat ChineseLanguage TidalProcess "潮汐过程") | domainEnglishFormat.kif 57991-57991 | "潮汐过程" is the printable form of tidal process in ChineseLanguage |
| (termFormat ChineseTraditionalLanguage TidalProcess "潮汐過程") | domainEnglishFormat.kif 57990-57990 | "潮汐過程" is the printable form of tidal process in ChineseTraditionalLanguage |
| (termFormat EnglishLanguage TidalProcess "tidal process") | domainEnglishFormat.kif 57989-57989 | "tidal process" is the printable form of tidal process in english language |
| consequent |
|
|
| (=> (instance ?WATER Estuary) (exists (?TIDES) (and (instance ?TIDES TidalProcess) (eventLocated ?TIDES ?WATER)))) |
Geography.kif 4887-4892 |
|
|
|
|