TreeView Knowledge Base Browser

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 12723-12732

If an object is an instance of elemental substance and another object is an instance of elemental substance and equal the object and the other object and a 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 an entity is a result of the process,
then the entity is an instance of compound substance

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 7411-7421	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 equal the object and 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 12703-12709	If an object is a resource for a process and an entity is a result of the process and the object is an instance of elemental substance and the entity is an instance of compound substance, then the process is an instance of chemical synthesis
(=> (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 12711-12721	If an entity is an instance of compound substance, then 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 equal the object and 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 ?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 9955-9964	If an entity is an instance of salt, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of sodium and the other object is a resource for the process and the other object is an instance of chlorine and the entity is a result of the process
(=> (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 9983-9992	If an entity is an instance of water, then there exist a process, an object and another object such that the process is an instance of chemical synthesis and the object is a resource for the process and the object is an instance of hydrogen and the other object is a resource for the process and the other object is an instance of oxygen and the entity is a result of the process

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

(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 12700-12701
(subclass ChemicalSynthesis ChemicalProcess)	Merge.kif 12698-12698	Chemical synthesis is a subclass of chemical process
(subclass ChemicalSynthesis Combining)	Merge.kif 12699-12699	Chemical synthesis is a subclass of combining

(partition ChemicalProcess ChemicalSynthesis ChemicalDecomposition)	Merge.kif 12680-12680	Chemical process is exhaustively partitioned into chemical synthesis and chemical decomposition
(subclass AnabolicProcess ChemicalSynthesis)	Mid-level-ontology.kif 11421-11421	Anabolic process is a subclass of chemical synthesis
(subclass ChemicalReduction ChemicalSynthesis)	Mid-level-ontology.kif 21120-21120	Chemical reduction is a subclass of chemical synthesis
(subclass Corrosion ChemicalSynthesis)	Transportation.kif 4252-4252	Corrosion is a subclass of chemical synthesis
(subclass Oxidation ChemicalSynthesis)	Mid-level-ontology.kif 21139-21139	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

KB Term:			Term intersection

English Word: