Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 |
|
|
| (subclass ChemicalSynthesis ChemicalProcess) | Merge.kif 12812-12812 | Chemical synthesis is a subclass of chemical process |
| (subclass ChemicalSynthesis Combining) | Merge.kif 12813-12813 | Chemical synthesis is a subclass of combining |
| (documentation ChemicalSynthesis EnglishLanguage "The Class of ChemicalProcesses in which a CompoundSubstance is formed from simpler reactants.") | Merge.kif 12814-12815 | Chemical synthesis is a subclass of combining |
| appearance as argument number 2 |
|
|
| 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 12837-12846 | If All of the following hold: (1) X is an instance of elemental substance (2) Y is an instance of elemental substance (3) equal X and Y (4) Z is an instance of chemical synthesis (5) X is a resource for Z (6) Y is a resource for Z (7) W is a result of Z, then W is an instance of compound substance |
| consequent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12817-12823 | If X is a resource for Y, Z is a result of Y, X is an instance of elemental substance, and Z is an instance of compound substance, then Y 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 12825-12835 | If X is an instance of compound substance, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of elemental substance (3) Z is an instance of elemental substance (4) equal Y (5) Z (6) W is an instance of chemical synthesis (7) Y is a resource for W (8) Z is a resource for W (9) X is a result of W |
| (<=> (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 7566-7576 | All of the following hold: (1) X is an instance of conjugated substance if (2) only if there exist Y, Z (3) W such that Y is an instance of compound substance (4) Z is an instance of compound substance (5) equal Y (6) Z (7) W is an instance of chemical synthesis (8) Y is a resource for W (9) Z is a resource for W (10) X is a result of W |
| (=> (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 10121-10130 | If X is an instance of salt, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of sodium (5) W is a resource for Y (6) W is an instance of chlorine (7) X is a result of Y |
| (=> (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 10149-10158 | If X is an instance of water, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of chemical synthesis (3) Z is a resource for Y (4) Z is an instance of hydrogen (5) W is a resource for Y (6) W is an instance of oxygen (7) X is a result of Y |
|