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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalAcid
ChemicalAcid(chemical acid)2-methylpropenoic_acid, HN, acid, adipic_acid, alcapton, alkapton, aminobenzoic_acid, aqua_fortis, arsenic_acid, azoimide, barbituric_acid, boracic_acid, boric_acid, bromic_acid, carbamic_acid, carbolic_acid, carbonic_acid, carboxylic_acid, cerotic_acid, chloric_acid, chlorohydric_acid, chlorous_acid, chromic_acid, citric_acid, cyanamid, cyanamide, cyanic_acid, cyanuric_acid, decanedioic_acid, dibasic_acid, dichromic_acid, ethanedioic_acid, fatty_acid, ferricyanic_acid, ferrocyanic_acid, fluoroboric_acid, fluosilicic_acid, formic_acid, fulminic_acid, fumaric_acid, gallic_acid, gamma_acid, glyceric_acid, glycolic_acid, glycollic_acid, heptadecanoic_acid, hexacosanoic_acid, hexanedioic_acid, homogentisic_acid, hydrazoic_acid...

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


(disjoint ChemicalAcid ChemicalBase) Mid-level-ontology.kif 8301-8301 Chemical acid is disjoint from chemical base
(documentation ChemicalAcid EnglishLanguage "A bitter CompoundSubstance that is capable of reacting with a ChemicalBase and forming a ChemicalSalt.") Mid-level-ontology.kif 8302-8303
(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
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8300-8300 Chemical acid is a subclass of compound substance
(subclass ChemicalAcid Substance) Cars.kif 2471-2471 Chemical acid is a subclass of substance

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


(subclass AminoAcid ChemicalAcid) Mid-level-ontology.kif 8274-8274 Amino acid is a subclass of chemical acid
(subclass SulfuricAcid ChemicalAcid) Cars.kif 2479-2479 Sulfuric acid is a subclass of chemical acid
(termFormat ChineseLanguage ChemicalAcid "化学酸") domainEnglishFormat.kif 14283-14283
(termFormat ChineseTraditionalLanguage ChemicalAcid "化學酸") domainEnglishFormat.kif 14282-14282
(termFormat EnglishLanguage ChemicalAcid "acid") Cars.kif 2472-2472
(termFormat EnglishLanguage ChemicalAcid "chemical acid") domainEnglishFormat.kif 14281-14281

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 8305-8315

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