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

Formal Language: 



KB Term:  Term intersection
English Word: 

  lowTide

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 5022-5025
(domain lowTide 1 Region) Geography.kif 5019-5019 The number 1 argument of low tide is an instance of region
(domain lowTide 2 TimeInterval) Geography.kif 5020-5020 The number 2 argument of low tide is an instance of time interval
(domain lowTide 3 LengthMeasure) Geography.kif 5021-5021 The number 3 argument of low tide is an instance of length measure
(instance lowTide TernaryPredicate) Geography.kif 5018-5018 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 65867-65867

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 5027-5037


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