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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChemicalSynthesis

 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 12570-12571
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12568-12568 Synth�se chimique est une sous-classe de processus chimique
(subclass ChemicalSynthesis Combining) Merge.kif 12569-12569 Synth�se chimique est une sous-classe de combiner

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


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12550-12550 Processus chimique est compl�tement d�compos� en synth�se chimique + d�composition chemical
(subclass AnabolicProcess ChemicalSynthesis) Mid-level-ontology.kif 10125-10125 AnabolicProcess est une sous-classe de synth�se chimique
(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 19587-19587 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 12593-12602

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 6472-6482 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 12573-12579
(=>
    (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 12581-12591
(=>
    (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 8781-8790
(=>
    (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 8809-8818


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