Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  LowTide

 Sigma KEE - LowTide
LowTide(low tide)low_tide, low_water

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


(subclass LowTide TidalProcess) Geography.kif 6534-6534 Low tide is a subclass of tidal process
(documentation LowTide EnglishLanguage "LowTide is the class of TidalProcesses that occur twice a day in marine waters, in which the water level falls below the mean sea level.") Geography.kif 6536-6538 Low tide is a subclass of tidal process

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


(subclass LowerLowTide LowTide) Geography.kif 6540-6540 Lower low tide is a subclass of low tide
(termFormat EnglishLanguage LowTide "low tide") domainEnglishFormat.kif 35239-35239 Lower low tide is a subclass of low tide
(termFormat ChineseTraditionalLanguage LowTide "低潮") domainEnglishFormat.kif 35240-35240 Lower low tide is a subclass of low tide
(termFormat ChineseLanguage LowTide "低潮") domainEnglishFormat.kif 35241-35241 Lower low tide is a subclass of low tide

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


(=>
    (and
        (instance ?LOW LowTide)
        (instance ?HIGH HighTide)
        (eventLocated ?LOW ?PLACE)
        (eventLocated ?HIGH ?PLACE)
        (instance ?DAY Day)
        (overlapsTemporally ?LOW ?DAY)
        (overlapsTemporally ?HIGH ?DAY))
    (exists (?AMOUNT1 ?AMOUNT2 ?U)
        (and
            (instance ?U UnitOfLength)
            (holdsDuring ?LOW
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT1 ?U)))
            (holdsDuring ?HIGH
                (waterDepth ?PLACE
                    (MeasureFn ?AMOUNT2 ?U)))
            (greaterThan ?AMOUNT2 ?AMOUNT1))))		 Geography.kif 6514-6532 If All of the following hold: (1) X is an instance of low tide (2) Y is an instance of high tide (3) X is located at Z (4) Y is located at Z (5) W is an instance of day (6) W overlaps X (7) W overlaps Y, then there exist V, U and T such that T is an instance of unit of length and V T(s) is a water depth of Z holds during X and U T(s) is a water depth of Z holds during Y and U is greater than V


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners