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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
ChemicalSynthesis(synth�se chimique)

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


(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstance 的 ChemicalProcess Class。") chinese_format.kif 3185-3186
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.") Merge.kif 12524-12525
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12522-12522 Synth�se chimique est une sous-classe de processus chimique
(subclass ChemicalSynthesis Combining) Merge.kif 12523-12523 Synth�se chimique est une sous-classe de combiner

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


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12504-12504 Processus chimique est compl�tement d�compos� en synth�se chimique + d�composition chemical
(subclass AnabolicProcess ChemicalSynthesis) Mid-level-ontology.kif 10098-10098 AnabolicProcess est une sous-classe de synth�se chimique
(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 19560-19560 ChemicalReduction est une sous-classe de synth�se chimique
(termFormat ChineseLanguage ChemicalSynthesis "化学合成") chinese_format.kif 1170-1170
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis") english_format.kif 1557-1557
(termFormat FrenchLanguage ChemicalSynthesis "synth�se chimique") french_format.kif 848-848
(termFormat Hindi ChemicalSynthesis "raasaayanika sanyojana") terms-hindi.txt 380-380
(termFormat ItalianLanguage ChemicalSynthesis "SintesiChimica") terms-it.txt 383-383
(termFormat JapaneseLanguage ChemicalSynthesis "化学合成") japanese_format.kif 2532-2532
(termFormat PortugueseLanguage ChemicalSynthesis "Sintese Quimica") portuguese_format.kif 800-800
(termFormat cz ChemicalSynthesis "chemical synthesis") terms-cz.txt 419-419
(termFormat ro ChemicalSynthesis "sintezã chimicã") relations-ro.kif 869-869
(termFormat tg ChemicalSynthesis "kathang kimikal") terms-tg.txt 384-384

antecedent
-------------------------


(=>
    (and
        (instance ?ELEMENT1 ElementalSubstance)
        (instance ?ELEMENT2 ElementalSubstance)
        (not
            (equal ?ELEMENT1 ?ELEMENT2))
        (instance ?PROCESS ChemicalSynthesis)
        (resource ?PROCESS ?ELEMENT1)
        (resource ?PROCESS ?ELEMENT2)
        (result ?PROCESS ?COMPOUND))
    (instance ?COMPOUND CompoundSubstance))		 Merge.kif 12547-12556

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


(<=>
    (instance ?CS ConjugatedSubstance)
    (exists (?C1 ?C2 ?P)
        (and
            (instance ?C1 CompoundSubstance)
            (instance ?C2 CompoundSubstance)
            (not
                (equal ?C1 ?C2))
            (instance ?P ChemicalSynthesis)
            (resource ?P ?C1)
            (resource ?P ?C2)
            (result ?P ?CS))))		 Mid-level-ontology.kif 6478-6488 Entit� est une instance de ConjugatedSubstance objet objet and processus objet est une instance de substance compos�e objet est une instance de substance compos�e objet est objet processus est une instance de synth�se chimique objet est une resource pour processus objet est une resource pour processus entit� est le resultat de processus
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))		 Merge.kif 12527-12533
(=>
    (instance ?COMPOUND CompoundSubstance)
    (exists (?ELEMENT1 ?ELEMENT2 ?PROCESS)
        (and
            (instance ?ELEMENT1 ElementalSubstance)
            (instance ?ELEMENT2 ElementalSubstance)
            (not
                (equal ?ELEMENT1 ?ELEMENT2))
            (instance ?PROCESS ChemicalSynthesis)
            (resource ?PROCESS ?ELEMENT1)
            (resource ?PROCESS ?ELEMENT2)
            (result ?PROCESS ?COMPOUND))))		 Merge.kif 12535-12545
(=>
    (instance ?SALT SodiumChloride)
    (exists (?SYNTHESIS ?SODIUM ?CHLORINE)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?SODIUM)
            (instance ?SODIUM Sodium)
            (resource ?SYNTHESIS ?CHLORINE)
            (instance ?CHLORINE Chlorine)
            (result ?SYNTHESIS ?SALT))))		 Mid-level-ontology.kif 8754-8763
(=>
    (instance ?WATER Water)
    (exists (?SYNTHESIS ?HYDROGEN ?OXYGEN)
        (and
            (instance ?SYNTHESIS ChemicalSynthesis)
            (resource ?SYNTHESIS ?HYDROGEN)
            (instance ?HYDROGEN Hydrogen)
            (resource ?SYNTHESIS ?OXYGEN)
            (instance ?OXYGEN Oxygen)
            (result ?SYNTHESIS ?WATER))))		 Mid-level-ontology.kif 8782-8791


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