highTide - Sigma Knowledge base Browser

appearance as argument number 1

(instance highTide TernaryPredicate)	Geography.kif 6565-6565	high tide is an instance of ternary predicate
(domain highTide 1 Region)	Geography.kif 6566-6566	The number 1 argument of high tide is an instance of region
(domain highTide 2 TimeInterval)	Geography.kif 6567-6567	The number 2 argument of high tide is an instance of timeframe
(domain highTide 3 LengthMeasure)	Geography.kif 6568-6568	The number 3 argument of high tide is an instance of length measure
(documentation highTide EnglishLanguage "(highTide ?PLACE ?TIME ?AMOUNT) means that there is a HighTide at the &$Region ?PLACE at the TimeInterval ?TIME with the relative height ?AMOUNT. The height is given in relation to the datum on a standard chart.")	Geography.kif 6569-6572	The number 3 argument of high tide is an instance of length measure

appearance as argument number 2

(format EnglishLanguage highTide "%1 is %n high tide %2 for %3")	domainEnglishFormat.kif 1187-1187
(format ChineseTraditionalLanguage highTide "%1 %n 是對於 %3 的 high 潮汐 %2 ")	domainEnglishFormat.kif 1188-1188
(format ChineseLanguage highTide "%1 %n 是对于 %3 的 high 潮汐 %2 ")	domainEnglishFormat.kif 1189-1189
(termFormat EnglishLanguage highTide "high tide")	domainEnglishFormat.kif 65866-65866

antecedent

(=>
    (and
        (lowTide ?PLACE ?TIME1
            (MeasureFn ?AMOUNT1 ?U))
        (highTide ?PLACE ?TIME2
            (MeasureFn ?AMOUNT2 ?U))
        (instance ?U UnitOfLength)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT2 ?AMOUNT1))

If All of the following hold: (1) X low tide Y for Z W(s) (2) X is high tide V for U W(s) (3) W is an instance of unit of length (4) T is an instance of day (5) T overlaps Y (6) T overlaps V, then U is greater than Z