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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 SeaWaterSalineSolutionsubclass では %n
(subclass SeaWater Water) Geography.kif 2820-2820 SeaWatersubclass では %n

appearance as argument number 2

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


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