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 5243-5246
(domain lowTide 1 Region) Geography.kif 5240-5240 The number 1 argument of low tide is an instance of region
(domain lowTide 2 TimeInterval) Geography.kif 5241-5241 The number 2 argument of low tide is an instance of time interval
(domain lowTide 3 LengthMeasure) Geography.kif 5242-5242 The number 3 argument of low tide is an instance of length measure
(instance lowTide TernaryPredicate) Geography.kif 5239-5239 low tide 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
(termFormat EnglishLanguage lowTide "low tide") domainEnglishFormat.kif 65876-65876

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 ?AMOUNT1 ?AMOUNT2))
Geography.kif 5248-5258


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 3.0 is open source software produced by Articulate Software and its partners