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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAcid
ChemicalAcid

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


(disjoint ChemicalAcid ChemicalBase) Mid-level-ontology.kif 8722-8722
(documentation ChemicalAcid EnglishLanguage "A bitter CompoundSubstance that is capable of reacting with a ChemicalBase and forming a ChemicalSalt.") Mid-level-ontology.kif 8723-8724
(documentation ChemicalAcid EnglishLanguage "Acids are substances which increase the concentration of hydronium ions (H3O+) in solution, substances which can act as a proton donor, and substances which are electron-pair acceptors. This is a restrictive definition combining the 'Arrhenius definition', the 'Brønsted-Lowry definition' and the 'Lewis definition' [adapted from Wikipedia]") Cars.kif 2473-2477
(roomTempState ChemicalAcid Liquid) Mid-level-ontology.kif 31575-31575
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721
(subclass ChemicalAcid Substance) Cars.kif 2471-2471

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


(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 8695-8695
(subclass SulfuricAcid ChemicalAcid) Cars.kif 2479-2479
(termFormat ChineseLanguage ChemicalAcid "化学酸") domainEnglishFormat.kif 14280-14280
(termFormat ChineseTraditionalLanguage ChemicalAcid "化學酸") domainEnglishFormat.kif 14279-14279
(termFormat EnglishLanguage ChemicalAcid "acid") Cars.kif 2472-2472
(termFormat EnglishLanguage ChemicalAcid "chemical acid") domainEnglishFormat.kif 14278-14278

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


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

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


(=>
    (instance ?LAWB LeadAcidWetBattery)
    (material ChemicalAcid ?LAWB))
Cars.kif 2461-2463


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