PureSubstance(pure substance) | acetonic, acetylenic, acetylic, achlorhydric, aeolotropic, alkylic, allomerous, allylic, anhydrous, anisotropic, arsenical, bivalent, critical, divalent, eolotropic, heavy, hydrated, hydrous, identical, isotropic, isotropous, ligand, light, monovalent, multivalent, noncritical, pentavalent, polyvalent, supercritical, tetravalent, trivalent, univalent |
appearance as argument number 1 |
(documentation PureSubstance ChineseLanguage "这是拥有不变成分 Substance 的 Class 。 PureSubstance 可以是元素 (ElementalSubstance), 又或者是拥有多个元素的化合物 (CompoundSubstance)。例如:食盐(氯化钠,NaCl)、糖(蔗糖,C_{12}H_{22}O_{11})、水(H_2O) 、铁(Fe)、铜(Cu)和氧(O_2)。") | chinese_format.kif 1595-1598 | |
(documentation PureSubstance EnglishLanguage "The Class of Substances with constant composition. A PureSubstance can be either an element (ElementalSubstance) or a compound of elements (CompoundSubstance). Examples: Table salt (sodium chloride, NaCl), sugar (sucrose, C_{12}H_{22}O_{11}), water (H_2O), iron (Fe), copper (Cu), and oxygen (O_2).") | Merge.kif 1087-1091 | |
(documentation PureSubstance JapaneseLanguage "一定組成がある Substances の Class。 PureSubstance は要素 (ElementalSubstance) または要素の複合 (CompoundSubstance) のいずれ かである。 例:食塩(塩化ナトリウム、NaCl)、砂糖(蔗糖、C_ {12} H_ {22} O_ {11})、水 (H_2O)、鉄(Fe)、銅(Cu)、および酸素 (O_2)。") | japanese_format.kif 174-177 | |
(documentation PureSubstance SpanishLanguage "La Class de Substances con composición constante. Una PureSubstance puede ser un elemento (ElementalSubstance) o un compuesto de elementos (CompoundSubstance). Por ejemplo, la sal común (cloruro de sodio, NaCl), azúcar (sacarosa, C_{12}H_{22}O_{11}), agua (H_2O), hierro (Fe), cobre (Cu) y oxígeno (O_2).") | spanish_format.kif 206-210 | |
(externalImage PureSubstance "http://upload.wikimedia.org/wikipedia/commons/ f/ fc/ Water_droplet_blue_bg05.jpg") | pictureList.kif 910-910 | |
(partition PureSubstance CompoundSubstance ElementalSubstance) | Merge.kif 1085-1085 | Pure substance is exhaustively partitioned into compound substance and elemental substance |
(subclass PureSubstance Substance) | Merge.kif 1084-1084 | Pure substance is a subclass of substance |
appearance as argument number 2 |
appearance as argument number 3 |
(domain electronNumber 1 PureSubstance) | Mid-level-ontology.kif 21735-21735 | The number 1 argument of electron number is an instance of pure substance |
(domain protonNumber 1 PureSubstance) | Mid-level-ontology.kif 21710-21710 | The number 1 argument of proton number is an instance of pure substance |
(domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13839-13839 | The number 1 argument of boiling point is a subclass of pure substance |
(domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13903-13903 | The number 1 argument of melting point is a subclass of pure substance |
antecedent |
consequent |