Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  highTide

 Sigma KEE - highTide
highTide

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))		 Geography.kif 6583-6593 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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners