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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BrackishWater
BrackishWater(brackish water)

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


(documentation BrackishWater EnglishLanguage "BrackishWater is the subclass of Water occuring in a natural environment that has more salinity than FreshWater, but not as much as SeaWater. Technically, it contains between 0.5 and 30 Gram of salt per liter oy BrackishWater.[Wikipedia]") Geography.kif 2837-2840
(subclass BrackishWater SalineSolution) Geography.kif 2836-2836 Brackish water is a subclass of saline solution
(subclass BrackishWater Water) Geography.kif 2835-2835 Brackish water is a subclass of water

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


(termFormat EnglishLanguage BrackishWater "brackish water") Geography.kif 2841-2841

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


(=>
    (and
        (instance ?SW BrackishWater)
        (measure ?SW
            (MeasureFn 1.0 Liter))
        (part ?SALT ?SW)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 0.5)
        (lessThanOrEqualTo ?R 30.0)))		 Geography.kif 2843-2854


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