TreeView Knowledge Base Browser

appearance as argument number 1

(subclass BrackishWater Water)	Geography.kif 4279-4279	Brackish water is a subclass of water
(subclass BrackishWater SalineSolution)	Geography.kif 4280-4280	Brackish water is a subclass of saline solution
(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 4281-4284	Brackish water is a subclass of saline solution

appearance as argument number 2

(termFormat EnglishLanguage BrackishWater "brackish water")

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

If X is an instance of brackish water, the measure of X is 1.0 liter(s), Y is a part of X, Y is an instance of salt, and the measure of Y is Z gram(s), then Z is greater than 0.5 and Z is less than or equal to 30.0