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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 8770-8771
(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 31609-31609 roomTempState salt and solid
(subclass ChemicalSalt CompoundSubstance) Mid-level-ontology.kif 8769-8769 Salt is a subclass of compound substance

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


(subclass CalciumChloride ChemicalSalt) Medicine.kif 5864-5864 CalciumChloride is a subclass of salt
(subclass PotassiumChloride ChemicalSalt) Medicine.kif 5871-5871 PotassiumChloride is a subclass of salt
(subclass SodiumChloride ChemicalSalt) Mid-level-ontology.kif 8773-8773 Salt is a subclass of salt
(subclass SodiumLactate ChemicalSalt) Medicine.kif 5875-5875 SodiumLactate is a subclass of salt
(termFormat ChineseLanguage ChemicalSalt "化学盐") domainEnglishFormat.kif 14334-14334
(termFormat ChineseLanguage ChemicalSalt "盐") domainEnglishFormat.kif 50993-50993
(termFormat ChineseTraditionalLanguage ChemicalSalt "化學鹽") domainEnglishFormat.kif 14333-14333
(termFormat ChineseTraditionalLanguage ChemicalSalt "鹽") domainEnglishFormat.kif 50992-50992
(termFormat EnglishLanguage ChemicalSalt "chemical salt") domainEnglishFormat.kif 14332-14332
(termFormat EnglishLanguage ChemicalSalt "salt") domainEnglishFormat.kif 50991-50991

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


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