TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Brine SalineSolution)	Geography.kif 4300-4300	Brine is a subclass of saline solution
(documentation Brine EnglishLanguage "Brine is the subclass of SalineSolution. Technically, it contains between 0.5 and 30 Gram of salt per liter of Brine.[Wikipedia]")	Geography.kif 4301-4302	Brine is a subclass of saline solution

appearance as argument number 2

(termFormat EnglishLanguage Brine "brine")

antecedent

(=>
    (and
        (instance ?B Brine)
        (measure ?B
            (MeasureFn 1.0 Liter))
        (part ?SALT ?B)
        (instance ?SALT SodiumChloride)
        (measure ?SALT
            (MeasureFn ?R Gram)))
    (and
        (greaterThan ?R 35.0)
        (lessThanOrEqualTo ?R 260.0)))

If X is an instance of brine, 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 35.0 and Z is less than or equal to 260.0