SalineSolution - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SalineSolution EnglishLanguage "A Solution consisting of SodiumChloride and Water.")	Mid-level-ontology.kif 9972-9973
(subclass SalineSolution Solution)	Mid-level-ontology.kif 9971-9971	SalineSolution is a subclass of solution

appearance as argument number 2

(subclass BrackishWater SalineSolution)	Geography.kif 3525-3525	BrackishWater is a subclass of SalineSolution
(subclass Brine SalineSolution)	Geography.kif 3545-3545	Brine is a subclass of SalineSolution
(subclass SeaWater SalineSolution)	Geography.kif 3498-3498	SeaWater is a subclass of SalineSolution
(subclass TearSubstance SalineSolution)	Mid-level-ontology.kif 13682-13682	TearSubstance is a subclass of SalineSolution
(termFormat ChineseLanguage SalineSolution "生理盐水")	domainEnglishFormat.kif 50941-50941	TearSubstance is a subclass of SalineSolution
(termFormat ChineseTraditionalLanguage SalineSolution "生理鹽水")	domainEnglishFormat.kif 50940-50940	TearSubstance is a subclass of SalineSolution
(termFormat EnglishLanguage SalineSolution "saline solution")	domainEnglishFormat.kif 50939-50939	TearSubstance is a subclass of SalineSolution

antecedent

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

Mid-level-ontology.kif 9975-9981

consequent

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

Medicine.kif 1098-1103