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 4247-4249
(subclass SoilSolution Solution) Geography.kif 4246-4246 Soil solution is a subclass of solution

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


(termFormat ChineseLanguage SoilSolution "土壤溶液") domainEnglishFormat.kif 53805-53805
(termFormat ChineseTraditionalLanguage SoilSolution "土壤溶液") domainEnglishFormat.kif 53804-53804
(termFormat EnglishLanguage SoilSolution "soil solution") domainEnglishFormat.kif 53803-53803

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


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


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