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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSalt
ChemicalSalt

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 8743-8744
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7f/ Salt_collector_in_Lake_Retba.jpg") pictureList.kif 6834-6834
(externalImage ChemicalSalt "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Saltmill.jpg") pictureList.kif 7779-7779
(roomTempState ChemicalSalt Solid) Mid-level-ontology.kif 31577-31577
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8742-8742

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


(subclass CalciumChloride ChemicalSalt) Medicine.kif 5864-5864
(subclass PotassiumChloride ChemicalSalt) Medicine.kif 5871-5871
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8746-8746
(subclass SodiumLactate ChemicalSalt) Medicine.kif 5875-5875
(termFormat ChineseLanguage ChemicalSalt "化学盐") domainEnglishFormat.kif 14334-14334
(termFormat ChineseLanguage ChemicalSalt "盐") domainEnglishFormat.kif 50991-50991
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") domainEnglishFormat.kif 14333-14333
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") domainEnglishFormat.kif 50990-50990
(termFormat EnglishLanguage ChemicalSalt "chemical salt") domainEnglishFormat.kif 14332-14332
(termFormat EnglishLanguage ChemicalSalt "salt") domainEnglishFormat.kif 50989-50989

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


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