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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Interpreting
  SoilSalination

Sigma KEE - SoilSalination
SoilSalination

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


(subclass SoilSalination Salination) Geography.kif 2952-2952

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 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