lowTide - Sigma Knowledge base Browser

appearance as argument number 1

(instance lowTide TernaryPredicate)	Geography.kif 6574-6574	low tide is an instance of ternary predicate
(domain lowTide 1 Region)	Geography.kif 6575-6575	The number 1 argument of low tide is an instance of region
(domain lowTide 2 TimeInterval)	Geography.kif 6576-6576	The number 2 argument of low tide is an instance of timeframe
(domain lowTide 3 LengthMeasure)	Geography.kif 6577-6577	The number 3 argument of low tide is an instance of length measure
(documentation lowTide EnglishLanguage "(lowTide ?PLACE ?TIME ?AMOUNT) means that there is a LowTide 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 6578-6581	The number 3 argument of low tide is an instance of length measure

appearance as argument number 2

(format EnglishLanguage lowTide "%1 %n{doesn't} low tide %2 for %3")	domainEnglishFormat.kif 1589-1589
(format ChineseTraditionalLanguage lowTide "%1 %n{不} 對於 %3 low 潮汐")	domainEnglishFormat.kif 1590-1590
(format ChineseLanguage lowTide "%1 %n{不} 对于 %3 low 潮汐")	domainEnglishFormat.kif 1591-1591
(termFormat EnglishLanguage lowTide "low tide")	domainEnglishFormat.kif 65885-65885

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