CrossCountrySkiing
|
|
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 |