Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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 1246-1246 | 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 1247-1253 | 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 7583-7583 | The number 1 argument of conjugate is an instance of compound substance |
| (domain conjugate 2 CompoundSubstance) | Mid-level-ontology.kif 7584-7584 | The number 2 argument of conjugate is an instance of compound substance |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Mid-level-ontology.kif 24006-24006 | 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 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 |
| (=> (and (resource ?PROC ?SUBSTANCE1) (result ?PROC ?SUBSTANCE2) (instance ?SUBSTANCE1 CompoundSubstance) (instance ?SUBSTANCE2 ElementalSubstance)) (instance ?PROC ChemicalDecomposition)) |
Merge.kif 12853-12859 | 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 (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 24008-24021 | If All of the following hold: (1) X is an instance of Y (2) Y is a subclass of compound substance (3) ~{ Z is an instance of Y } or ~{ 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 512-521 | 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 |
|
|
|