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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalAcid

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 8722-8722 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 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 chemical acid and liquid
(subclass ChemicalAcid CompoundSubstance) Mid-level-ontology.kif 8721-8721 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 8695-8695 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 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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