| 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 |
|
|
| (documentation CompoundSubstance ChineseLanguage "这个 Substance Class ，以确定的重量比例 ，拥有两个或以上元素 (ElementalSubstance)。不管事用什麽方法提炼，纯复合物的成分保持不变。复合物由 超过一中原子（元素)组成。分子这个术语通常用来识别哪些仍然保留化合物所有性质的最小单元。例如：食盐 （氯化钠，NaCl)、糖（蔗糖，C_{12}H_{22}O_{11})、水（H_2O)。") | chinese_format.kif 1617-1620 | |
| (documentation CompoundSubstance EnglishLanguage "The Class of Substances that contain two or more elements (ElementalSubstances) in definite proportion by weight. ; Here! Removed extraneous comma. 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 1096-1102 | |
| (subclass CompoundSubstance PureSubstance) | Merge.kif 1095-1095 | 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 6140-6140 | The number 1 argument of conjugate is an instance of compound substance |
| (domain conjugate 2 CompoundSubstance) | Mid-level-ontology.kif 6141-6141 | The number 2 argument of conjugate is an instance of compound substance |
| (domainSubclass molecularRatio 3 CompoundSubstance) | Cars.kif 1770-1770 | The number 3 argument of molecularRatio is a subclass of compound substance |
| antecedent |
|
|
| 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 6123-6133 | 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 |
|
|
|