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 化学酸 和 % 2 是 disjoint
(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 roomTempState 化学酸 and 液体
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 化学酸复合物质subclass
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 化学酸物质subclass

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


(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 8695-8695 氨基酸化学酸subclass
(subclass SulfuricAcid ChemicalAcid) Cars.kif 2479-2479 SulfuricAcid化学酸subclass
(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