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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalProcess

Sigma KEE - ChemicalProcess
ChemicalProcess(processus chimique)

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 12551-12558
(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12550-12550 Processus chimique est compl�tement d�compos� en synth�se chimique + d�composition chemical
(subclass ChemicalProcess InternalChange) Merge.kif 12549-12549 Processus chimique est une sous-classe de changement interne

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


(subclass ChemicalDecomposition ChemicalProcess) Merge.kif 12604-12604 D�composition chemical est une sous-classe de processus chimique
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12568-12568 Synth�se chimique est une sous-classe de processus chimique
(subclass Metabolism ChemicalProcess) Mid-level-ontology.kif 10108-10108 Metabolism est une sous-classe de processus chimique
(termFormat ChineseLanguage ChemicalProcess "化学过程") chinese_format.kif 1169-1169
(termFormat EnglishLanguage ChemicalProcess "chemical process") english_format.kif 1555-1555
(termFormat FrenchLanguage ChemicalProcess "processus chimique") french_format.kif 847-847
(termFormat Hindi ChemicalProcess "raasaayanika prakriyaa") terms-hindi.txt 379-379
(termFormat ItalianLanguage ChemicalProcess "ProcessoChimico") terms-it.txt 382-382
(termFormat JapaneseLanguage ChemicalProcess "化学プロセス") japanese_format.kif 2531-2531
(termFormat PortugueseLanguage ChemicalProcess "Processo Quimico") portuguese_format.kif 799-799
(termFormat cb ChemicalProcess "kimika asunto") terms-cb.txt 384-384
(termFormat cz ChemicalProcess "chemical process") terms-cz.txt 418-418
(termFormat ro ChemicalProcess "proces chimic") relations-ro.kif 868-868
(termFormat tg ChemicalProcess "kimikal na paraan") terms-tg.txt 383-383

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


(domain catalyst 1 ChemicalProcess) VirusProteinAndCellPart.kif 254-254 Le nombre 1 argument de catalyst est une instance de processus chimique
(domain reactant 1 ChemicalProcess) Mid-level-ontology.kif 8823-8823 Le nombre 1 argument de reactant est une instance de processus chimique
(domain reagent 1 ChemicalProcess) Mid-level-ontology.kif 8830-8830 Le nombre 1 argument de reagent est une instance de processus chimique

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 8753-8763
(=>
    (and
        (instance ?PROC ChemicalProcess)
        (or
            (resource ?PROC ?STUFF)
            (result ?PROC ?STUFF)))
    (instance ?STUFF PureSubstance))
Merge.kif 12560-12566

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


(=>
    (instance ?EXPLOSION Explosion)
    (exists (?PROC)
        (and
            (instance ?PROC ChemicalProcess)
            (causes ?PROC ?EXPLOSION))))
Mid-level-ontology.kif 15863-15868
(=>
    (instance ?OBJ Enzyme)
    (capability ChemicalProcess catalyst ?OBJ))
VirusProteinAndCellPart.kif 257-259
(=>
    (property ?PROCESS ChemicalEquilibrium)
    (instance ?PROCESS ChemicalProcess))
Mid-level-ontology.kif 19658-19660


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