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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SeaWater

Sigma KEE - SeaWater
SeaWater

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
(subclass SeaWater Water) Geography.kif 2820-2820

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