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, chemical_synthesis, 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...

VerbNet: other_cos-45.4|corrode, other_cos-45.4|corrode, remedy-45.7|iodize, remedy-45.7|iodize, shake-22.3|ligate, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|oxidize, other_cos-45.4|corrode, create-26.4|synthesize, create-26.4|synthesize,


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


(documentation ChemicalSynthesis ChineseLanguage "这是当简单反应物组成 CompoundSubstanceChemicalProcess Class。") Merge.kif 16809-16810
(documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.") Merge.kif 16807-16808
(subclass ChemicalSynthesis ChemicalProcess) Merge.kif 16805-16805 Chemical synthesis is a subclass of chemical process
(subclass ChemicalSynthesis Combining) Merge.kif 16806-16806 Chemical synthesis is a subclass of combining

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


(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition) Merge.kif 16783-16783 Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
(subclass ChemicalReduction ChemicalSynthesis) Mid-level-ontology.kif 17340-17340 Chemical reduction is a subclass of chemical synthesis
(termFormat ChineseLanguage ChemicalSynthesis "化学合成") chinese_format.kif 1170-1170 "化学合成" is the printable form of chemical synthesis in ChineseLanguage
(termFormat EnglishLanguage ChemicalSynthesis "chemical synthesis") english_format.kif 2219-2219 "chemical synthesis" is the printable form of chemical synthesis in english language
(termFormat JapaneseLanguage ChemicalSynthesis "化学合成") english_format.kif 2220-2220 "化学合成" is the printable form of chemical synthesis in japanese language

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


(<=>
    (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 16820-16830 An entity is an instance of compound substance if and only if there exist an object, another object and a process such that the object is an instance of elemental substance and the other object is an instance of elemental 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
(<=>
    (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 6167-6177 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 16812-16818
(=>
    (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 8431-8440
(=>
    (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 8459-8468


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners