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 2874-2874 Soil salination is a subclass of salination

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


(termFormat ChineseLanguage SoilSalination "土壤盐渍化") domainEnglishFormat.kif 53793-53793
(termFormat ChineseTraditionalLanguage SoilSalination "土壤鹽漬化") domainEnglishFormat.kif 53792-53792
(termFormat EnglishLanguage SoilSalination "soil salination") domainEnglishFormat.kif 53791-53791

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


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


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