TreeView Knowledge Base Browser

appearance as argument number 1

(subclass SoilSolution LiquidMixture)	Geography.kif 5828-5828	Soil solution is a subclass of liquid mixture
(documentation SoilSolution EnglishLanguage "SoilSolution is the liquid component of soils, which is largely water containing a number of mineral substances in solution, as well as comparatively large amounts of dissolved oxygen and carbon dioxide.")	Geography.kif 5829-5831	Soil solution is a subclass of liquid mixture

appearance as argument number 2

(termFormat EnglishLanguage SoilSolution "soil solution")	domainEnglishFormat.kif 53817-53817
(termFormat ChineseTraditionalLanguage SoilSolution "土壤溶液")	domainEnglishFormat.kif 53818-53818
(termFormat ChineseLanguage SoilSolution "土壤溶液")	domainEnglishFormat.kif 53819-53819

antecedent

(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))

If X is an instance of soil solution, then there exists Y such that Y is an instance of soil and X is a part of Y