Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
HighTide(high tide)
more pictures... |  | direct_tide, high_tide, high_water, highwater |
| appearance as argument number 1 |
|
|
| (subclass HighTide TidalProcess) | Geography.kif 6545-6545 | High tide is a subclass of tidal process |
| (documentation HighTide EnglishLanguage "HighTide is the class of TidalProcesses that occur twice a day in marine waters, in which the water level rises above the mean sea level.") | Geography.kif 6547-6549 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/5/ 59/ Orbit3.gif") | pictureList.kif 6610-6610 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/en/0/00/Tide_type.gif") | pictureList.kif 7058-7058 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/en/0/0e/Tidal_constituent_sum.gif") | pictureList.kif 7059-7059 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/en/1/19/Tide_legal_use.gif") | pictureList.kif 7060-7060 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/en/f/fa/Tide24_12_mix.gif") | pictureList.kif 7061-7061 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/4/ 4e/ Wimereux_Spring_Tide.jpg") | pictureList.kif 7062-7062 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/5/ 5e/ M2_tidal_constituent.jpg") | pictureList.kif 7063-7063 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/7/ 76/ Bay_of_Fundy_High_Tide.jpg") | pictureList.kif 7064-7064 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/c/ cf/ Bay_of_Fundy_Low_Tide.jpg") | pictureList.kif 7065-7065 | High tide is a subclass of tidal process |
| (externalImage HighTide "http://upload.wikimedia.org/wikipedia/commons/d/ d8/ Field_tidal.png") | pictureList.kif 7068-7068 | High tide is a subclass of tidal process |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?LOW LowTide) (instance ?HIGH HighTide) (eventLocated ?LOW ?PLACE) (eventLocated ?HIGH ?PLACE) (instance ?DAY Day) (overlapsTemporally ?LOW ?DAY) (overlapsTemporally ?HIGH ?DAY)) (exists (?AMOUNT1 ?AMOUNT2 ?U) (and (instance ?U UnitOfLength) (holdsDuring ?LOW (waterDepth ?PLACE (MeasureFn ?AMOUNT1 ?U))) (holdsDuring ?HIGH (waterDepth ?PLACE (MeasureFn ?AMOUNT2 ?U))) (greaterThan ?AMOUNT2 ?AMOUNT1)))) |
Geography.kif 6514-6532 | If All of the following hold: (1) X is an instance of low tide (2) Y is an instance of high tide (3) X is located at Z (4) Y is located at Z (5) W is an instance of day (6) W overlaps X (7) W overlaps Y, then there exist V, U and T such that T is an instance of unit of length and V T(s) is a water depth of Z holds during X and U T(s) is a water depth of Z holds during Y and U is greater than V |
|