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 4920-4923
(domain lowTide 1 Region) Geography.kif 4917-4917 lowTide 的 1 数量 是 地区instance
(domain lowTide 2 TimeInterval) Geography.kif 4918-4918 lowTide 的 2 数量 是 时距instance
(domain lowTide 3 LengthMeasure) Geography.kif 4919-4919 lowTide 的 3 数量 是 长度测量instance
(instance lowTide TernaryPredicate) Geography.kif 4916-4916 lowTide三元谓语instance

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
            (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 4925-4935


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