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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SoilSalination
SoilSalination(soil salination)

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


(subclass SoilSalination Salination) Geography.kif 2952-2952 Soil salination is a subclass of salinifying

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


(termFormat ChineseLanguage SoilSalination "土壤盐渍化") domainEnglishFormat.kif 53812-53812
(termFormat ChineseTraditionalLanguage SoilSalination "土壤鹽漬化") domainEnglishFormat.kif 53811-53811
(termFormat EnglishLanguage SoilSalination "soil salination") domainEnglishFormat.kif 53810-53810

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


(=>
    (instance ?PROCESS SoilSalination)
    (exists (?SOIL)
        (and
            (instance ?SOIL Soil)
            (resource ?PROCESS ?SOIL))))
Geography.kif 2954-2959


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



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