Diluting - Sigma Knowledge base Browser

appearance as argument number 1

(subclass Diluting Putting)	Mid-level-ontology.kif 21514-21514	Diluting is a subclass of putting
(documentation Diluting EnglishLanguage "Adding a Liquid to a Solution to decrease the concentration of the Solution.")	Mid-level-ontology.kif 21515-21516	Diluting is a subclass of putting

appearance as argument number 2

(termFormat EnglishLanguage Diluting "diluting")	domainEnglishFormat.kif 19542-19542
(termFormat ChineseTraditionalLanguage Diluting "稀釋")	domainEnglishFormat.kif 19543-19543
(termFormat ChineseLanguage Diluting "稀释")	domainEnglishFormat.kif 19544-19544

antecedent

(=>
    (instance ?D Diluting)
    (exists (?S)
        (and
            (patient ?D ?S)
            (instance ?S Solution)
            (attribute ?S Liquid))))

If X is an instance of diluting, then there exists Y such that Y is a patient of X, Y is an instance of solution, and liquid is an attribute of Y