Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilSolution

Sigma KEE - SoilSolution
SoilSolution(soil solution)

appearance as argument number 1
-------------------------


(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 4325-4327
(subclass SoilSolution LiquidMixture) Geography.kif 4324-4324 Soil solution is a subclass of liquid mixture

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage SoilSolution "土壤溶液") domainEnglishFormat.kif 53822-53822
(termFormat ChineseTraditionalLanguage SoilSolution "土壤溶液") domainEnglishFormat.kif 53821-53821
(termFormat EnglishLanguage SoilSolution "soil solution") domainEnglishFormat.kif 53820-53820

antecedent
-------------------------


(=>
    (instance ?Solution SoilSolution)
    (exists (?Soil)
        (and
            (instance ?Soil Soil)
            (part ?Solution ?Soil))))
Geography.kif 4329-4334


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners