SalineSolution - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SalineSolution Solution)	Mid-level-ontology.kif 10137-10137	Saline solution is a subclass of solution
(documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.")	Mid-level-ontology.kif 10138-10139	Saline solution is a subclass of solution

appearance as argument number 2

(subclass TearSubstance SalineSolution)	Mid-level-ontology.kif 13954-13954	Tear is a subclass of saline solution
(subclass SeaWater SalineSolution)	Geography.kif 4253-4253	Sea water is a subclass of saline solution
(subclass BrackishWater SalineSolution)	Geography.kif 4280-4280	Brackish water is a subclass of saline solution
(subclass Brine SalineSolution)	Geography.kif 4300-4300	Brine is a subclass of saline solution
(termFormat EnglishLanguage SalineSolution "saline solution")	domainEnglishFormat.kif 50932-50932	Brine is a subclass of saline solution
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水")	domainEnglishFormat.kif 50933-50933	Brine is a subclass of saline solution
(termFormat ChineseLanguage SalineSolution "生理盐水")	domainEnglishFormat.kif 50934-50934	Brine is a subclass of saline solution

antecedent

(=>
    (and
        (instance ?SOLUTION SalineSolution)
        (part ?PART ?SOLUTION))
    (or
        (instance ?PART SodiumChloride)
        (instance ?PART Water)))

If X is an instance of saline solution and Y is a part of X, then Y is an instance of salt or Y is an instance of water

consequent

(=>
    (instance ?SL SalineLock)
    (exists (?S)
        (and
            (instance ?S SalineSolution)
            (contains ?SL ?S))))

If X is an instance of saline lock, then there exists Y such that Y is an instance of saline solution and X contains Y