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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SoilSolution

Sigma KEE - SoilSolution
SoilSolution

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 SoilSolution è una sottoclasse di LiquidMixture

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


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

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