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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalProcess
ChemicalProcess(化学过程)

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


(documentation ChemicalProcess ChineseLanguage "ChemicalProcess 发生在当化合物 (CompoundSubstance) 形成或被分解的时候。例如:反应物随着化学变化消失,和成品随着化学变化出现。化学反应 在化学变化时发生。催化剂可能会加快 ChemicalProcess 的反应,但是它们本身不能产生任何东西或被消耗掉。 例如:以电流令铁生锈和水分解得出气态的氢和氧。") chinese_format.kif 3181-3184
(documentation ChemicalProcess EnglishLanguage "A ChemicalProcess occurs whenever chemical compounds (CompoundSubstances) are formed or decomposed. For example, reactants disappear as chemical change occurs, and products appear as chemical change occurs. In a chemical change a chemical reaction takes place. Catalysts in a ChemicalProcess may speed up the reaction, but aren't themselves produced or consumed. Examples: rusting of iron and the decomposition of water, induced by an electric current, to gaseous hydrogen and gaseous oxygen.") Merge.kif 12267-12274
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12266-12266 化学过程 详尽无遗地 partition化学合成化学分解
(subclass ChemicalProcess InternalChange) Merge.kif 12265-12265 化学过程内部变化subclass

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


(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12320-12320 化学分解化学过程subclass
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12284-12284 化学合成化学过程subclass
(subclass Metabolism ChemicalProcess) Mid-level-ontology.kif 9649-9649 Metabolism化学过程subclass
(termFormat ChineseLanguage ChemicalProcess "化学过程") chinese_format.kif 1169-1169
(termFormat EnglishLanguage ChemicalProcess "chemical process") english_format.kif 1555-1555

appearance as argument number 3
-------------------------


(domain catalyst 1 ChemicalProcess) VirusProteinAndCellPart.kif 209-209 催化剂 的 1 数量 是 化学过程instance
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 8399-8399 反应 的 1 数量 是 化学过程instance
(domain reagent 1 ChemicalProcess) Mid-level-ontology.kif 8406-8406 试剂 的 1 数量 是 化学过程instance

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 8329-8339
(=>
    (and
        (instance ?PROC ChemicalProcess)
        (or
            (resource ?PROC ?STUFF)
            (result ?PROC ?STUFF)))
    (instance ?STUFF PureSubstance))
Merge.kif 12276-12282

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


(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))
Mid-level-ontology.kif 15261-15266
(=>
    (instance ?OBJ Enzyme)
    (capability ChemicalProcess catalyst ?OBJ))
VirusProteinAndCellPart.kif 212-214
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (instance ?PROCESS ChemicalProcess))
Mid-level-ontology.kif 18981-18983


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