Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - lowTide
lowTide

appearance as argument number 1
-------------------------


(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 4703-4706
(domain lowTide 1 Region) Geography.kif 4700-4700 The number 1 argument of lowTide is an instance of region
(domain lowTide 2 TimeInterval) Geography.kif 4701-4701 The number 2 argument of lowTide is an instance of time interval
(domain lowTide 3 LengthMeasure) Geography.kif 4702-4702 The number 3 argument of lowTide is an instance of length measure
(instance lowTide TernaryPredicate) Geography.kif 4699-4699 lowTide is an instance of ternary predicate

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (and
        (lowTide ?PLACE ?TIME1 ?AMOUNT1)
        (highTide ?PLACE ?TIME2 ?AMOUNT2)
        (instance ?DAY Day)
        (overlapsTemporally ?TIME1 ?DAY)
        (overlapsTemporally ?TIME2 ?DAY))
    (greaterThan ?AMOUNT1 ?AMOUNT2))
Geography.kif 4708-4715


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners