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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SeaWater
SeaWater(sea water)

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


(documentation SeaWater EnglishLanguage "SeaWater is the subclass of Water from a Sea or Ocean. On average, seawater in the world's ocean has a salinity of about 3.5% or 35g/ L. This means that every Liter of seawater has approximately 35 Gram of dissolved salt (predominately sodium and cholride ion) .[Wikipedia]") Geography.kif 2822-2826
(subclass SeaWater SalineSolution) Geography.kif 2821-2821 Sea water is a subclass of saline solution
(subclass SeaWater Water) Geography.kif 2820-2820 Sea water is a subclass of water

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


(termFormat EnglishLanguage SeaWater "sea water") Geography.kif 2827-2827

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


(=>
    (and
        (instance ?SW SeaWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (approximateValue ?R 35.0))
Geography.kif 2836-2845
(=>
    (instance ?SW SeaWater)
    (exists (?S)
        (and
            (located ?SW ?S)
            (instance ?S SaltWaterArea))))
Geography.kif 2829-2834


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