| CompoundSubstance(compound substance) | | 1-dodecanol, 2-hydroxybenzoic_acid, A, Agene, C, CO, Chinese_white, DEAE_cellulose, Epsom_salts, G, Glauber's_salt, Glauber's_salts, HFC, K-Dur_20, K-lor, K-lyte, Kaochlor, Kekule_formula, Klorvess, NAD, Nitrospan, Nitrostat, PFC, SLS, T, TCE, U, U308, acceptor, acetal, acetaldehyde, acetaldol, acetamide, acetic, acetic_anhydride, acetoacetic_acid, acetone_body, acetyl, acetyl_group, acetyl_radical, acid_anhydrides, acid_halide, acrolein, acrylamide, acrylate, acrylic_acid, acrylonitrile, acyl_anhydrides, acyl_halide, acylglycerol... |
| appearance as argument number 1 |
|
|
| (subclass CompoundSubstance PureSubstance) | Merge.kif 1208-1208 | Compound substance is a subclass of pure substance |
| (documentation CompoundSubstance EnglishLanguage "The Class of Substances that contain two or more elements (ElementalSubstances) in definite proportion by weight. The composition of a pure compound will be invariant, regardless of the method of preparation. Compounds are composed of more than one kind of atom (element). The term molecule is often used for the smallest unit of a compound that still retains all of the properties of the compound. Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), and water (H_2O). ") | Merge.kif 1209-1215 | Compound substance is a subclass of pure substance |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain conjugate 1 CompoundSubstance) | Mid-level-ontology.kif 7450-7450 | The number 1 argument of conjugate is an instance of compound substance |
| (domain conjugate 2 CompoundSubstance) | Mid-level-ontology.kif 7451-7451 | The number 2 argument of conjugate is an instance of compound substance |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 24072-24072 | The number 3 argument of molecular ratio is a subclass of compound substance |
| antecedent |
|
|
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 ElementalSubstance) (instance ?SUBSTANCE2 CompoundSubstance)) (instance ?PROC ChemicalSynthesis)) |
Merge.kif 12703-12709 | 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 12711-12721 | 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 |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12739-12745 | If X is a resource for Y, Z is a result of Y, X is an instance of compound substance, and Z is an instance of elemental substance, then Y is an instance of chemical decomposition |
| (=> (and (instance ?CS1 ?CLASS) (subclass ?CLASS CompoundSubstance) (not (exists (?CS2) (and (instance ?CS2 ?CLASS) (part ?CS2 ?CS1)))) (molecularRatio ?ECLASS ?N ?CLASS) (instance ?G Group) (member ?E ?G) (part ?E ?CS1) (instance ?E ?ECLASS)) (memberCount ?G ?N)) |
Mid-level-ontology.kif 24074-24088 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) there doesn't exist Z such that Z is an instance of Y and Z is a part of X (4) the number of molecules of W in a molecule of Y is V (5) U is an instance of group (6) T is a member of U (7) T is a part of X (8) T is an instance of W, then V is a member count of U |
| (=> (and (instance ?P ThreeDPrinting) (instance ?X CompoundSubstance) (patient ?P ?X)) (exists (?SC) (and (instance ?SC ShapeChange) (subProcess ?SC ?P) (patient ?SC ?X)))) |
QoSontology.kif 526-535 | If X is an instance of 3D printing, Y is an instance of compound substance, and Y is a patient of X, then there exists Z such that Z is an instance of shape change, Z is a subprocess of X, and Y is a patient of Z |
| consequent |
|
|
|
|
|