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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalSalt

Sigma KEE - ChemicalSalt
ChemicalSalt(salt)
citrate, dibasic_salt, ferrocyanide, iodide, lactate, polyphosphate, pyrophosphate, salt, sulfonate, urate, xanthate

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


(documentation ChemicalSalt EnglishLanguage "A bitter CompoundSubstance that is formed in a chemical reaction of a ChemicalBase with a ChemicalAcid.") Mid-level-ontology.kif 8012-8013
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") pictureList.kif 6835-6835
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") pictureList.kif 7780-7780
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8011-8011 Salt is a subclass of compound substance

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


(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8015-8015 Salt is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐") domainEnglishFormat.kif 14337-14337
(termFormat ChineseLanguage ChemicalSalt "盐") domainEnglishFormat.kif 50973-50973
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") domainEnglishFormat.kif 14336-14336
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") domainEnglishFormat.kif 50972-50972
(termFormat EnglishLanguage ChemicalSalt "chemical salt") domainEnglishFormat.kif 14335-14335
(termFormat EnglishLanguage ChemicalSalt "salt") domainEnglishFormat.kif 50971-50971

consequent
-------------------------


(=>
    (and
        (instance ?CA ChemicalAcid)
        (instance ?CB ChemicalBase)
        (instance ?C ChemicalProcess)
        (patient ?C ?CA)
        (patient ?C ?CB))
    (exists (?CS)
        (and
            (instance ?CS ChemicalSalt)
            (result ?C ?CS))))
Mid-level-ontology.kif 7995-8005


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