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 5022-5025
(domain lowTide 1 Region) Geography.kif 5019-5019 lowTide の数値 1 引数は 地域instance では %n
(domain lowTide 2 TimeInterval) Geography.kif 5020-5020 lowTide の数値 2 引数は 時間間隔instance では %n
(domain lowTide 3 LengthMeasure) Geography.kif 5021-5021 lowTide の数値 3 引数は 長さ測定instance では %n
(instance lowTide TernaryPredicate) Geography.kif 5018-5018 lowTide3進述語instance では %n

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