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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ChemicalSynthesis
ChemicalSynthesis(chemical synthesis)anamorphism, association, autophytic, autotrophic, biosynthetic, breathe, build, butylate, carbonate, carbonise, carbonize, carburise, carburize, catabolise, catabolize, chelate, chelation, chemosynthesis, chlorination, cold_fusion, compounded, corrode, eat, exchange, fusion, hydrogenate, iodinating, iodination, iodise, iodize, ligate, nitrate, nuclear_fusion, nuclear_fusion_reaction, nucleosynthesis, oxidate, oxidise, oxidize, polymerisation, polymerization, prechlorination, react, rust, solvation, synthesis, synthesise, synthesize, synthetically, thermonuclear_reaction, uncompounded...

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 12663-12664
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 12661-12661 Chemical synthesis is a subclass of chemical process
(subclass ChemicalSynthesis Combining) Merge.kif 12662-12662 Chemical synthesis is a subclass of combining

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


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 12643-12643 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
(subclass AnabolicProcess ChemicalSynthesis) Mid-level-ontology.kif 11445-11445 Anabolic process is a subclass of chemical synthesis
(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 21148-21148 Chemical reduction is a subclass of chemical synthesis
(subclass Corrosion ChemicalSynthesis) Transportation.kif 4254-4254 Corrosion is a subclass of chemical synthesis
(subclass Oxidation ChemicalSynthesis) Mid-level-ontology.kif 21167-21167 Oxidating is a subclass of chemical synthesis
(termFormat ChineseLanguage ChemicalSynthesis "化学合成") chinese_format.kif 1170-1170 Oxidating is a subclass of chemical synthesis
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis") english_format.kif 1557-1557 Oxidating is a subclass of chemical synthesis
(termFormat FrenchLanguage ChemicalSynthesis "synth�se chimique") french_format.kif 848-848 Oxidating is a subclass of chemical synthesis
(termFormat Hindi ChemicalSynthesis "raasaayanika sanyojana") terms-hindi.txt 380-380 Oxidating is a subclass of chemical synthesis
(termFormat ItalianLanguage ChemicalSynthesis "SintesiChimica") terms-it.txt 383-383 Oxidating is a subclass of chemical synthesis
(termFormat JapaneseLanguage ChemicalSynthesis "化学合成") japanese_format.kif 2532-2532 Oxidating is a subclass of chemical synthesis
(termFormat PortugueseLanguage ChemicalSynthesis "Sintese Quimica") portuguese_format.kif 800-800 Oxidating is a subclass of chemical synthesis
(termFormat cz ChemicalSynthesis "chemical synthesis") terms-cz.txt 419-419 Oxidating is a subclass of chemical synthesis
(termFormat de ChemicalSynthesis "chemische Synthese") terms-de.txt 678-678 Oxidating is a subclass of chemical synthesis
(termFormat ro ChemicalSynthesis "sintezã chimicã") relations-ro.kif 869-869 Oxidating is a subclass of chemical synthesis
(termFormat tg ChemicalSynthesis "kathang kimikal") terms-tg.txt 384-384 Oxidating is a subclass of chemical synthesis

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 12686-12695

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 7434-7444 An entity is an instance of conjugated substance if and only if there exist an object, another object and a process such that the object is an instance of compound substance and the other object is an instance of compound substance and the object is not equal to the other object and the process is an instance of chemical synthesis and the object is a resource for the process and the other object is a resource for the process and the entity is a result of the process
(=>
    (and
        (resource ?PROC ?SUBSTANCE1)
        (result ?PROC ?SUBSTANCE2)
        (instance ?SUBSTANCE1 ElementalSubstance)
        (instance ?SUBSTANCE2 CompoundSubstance))
    (instance ?PROC ChemicalSynthesis))		 Merge.kif 12666-12672
(=>
    (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 12674-12684
(=>
    (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 9978-9987
(=>
    (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 10006-10015


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