PureSubstance
|
|
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 | Substance pure est compl�tement d�compos� en substance compos�e + substance �l�mentaire |
(subclass PureSubstance Substance) | Merge.kif 1084-1084 | Substance pure est une sous-classe de substance |
appearance as argument number 2 |
(partition Substance PureSubstance Mixture) | Merge.kif 1042-1042 | Substance est compl�tement d�compos� en substance pure + mixture |
(subclass CompoundSubstance PureSubstance) | Merge.kif 1173-1173 | Substance compos�e est une sous-classe de substance pure |
(subclass Defoliant PureSubstance) | Geography.kif 2647-2647 | Defoliant est une sous-classe de substance pure |
(subclass ElementalSubstance PureSubstance) | Merge.kif 1093-1093 | Substance �l�mentaire est une sous-classe de substance pure |
(subclass GreenhouseGas PureSubstance) | Geography.kif 2735-2735 | GreenhouseGas est une sous-classe de substance pure |
(subclass HydrophilicLipidHead PureSubstance) | VirusProteinAndCellPart.kif 514-514 | HydrophilicLipidHead est une sous-classe de substance pure |
(subclass HydrophobicLipidTail PureSubstance) | VirusProteinAndCellPart.kif 525-525 | HydrophobicLipidTail est une sous-classe de substance pure |
(subclass Ion PureSubstance) | Mid-level-ontology.kif 21665-21665 | Ion est une sous-classe de substance pure |
(termFormat ChineseLanguage PureSubstance "純物质") | chinese_format.kif 818-818 | |
(termFormat EnglishLanguage PureSubstance "pure substance") | english_format.kif 838-838 | |
(termFormat FrenchLanguage PureSubstance "substance pure") | french_format.kif 494-494 | |
(termFormat Hindi PureSubstance "shuddha padaartha") | terms-hindi.txt 27-27 | |
(termFormat ItalianLanguage PureSubstance "SostanzaPura") | terms-it.txt 30-30 | |
(termFormat JapaneseLanguage PureSubstance "純物質") | japanese_format.kif 2179-2179 | |
(termFormat PortugueseLanguage PureSubstance "Substancia Pura") | portuguese_format.kif 446-446 | |
(termFormat cb PureSubstance "maputling sustansiya") | terms-cb.txt 31-31 | |
(termFormat cz PureSubstance "�ist� substance") | terms-cz.txt 61-61 | |
(termFormat ro PureSubstance "substanþã purã") | relations-ro.kif 515-515 | |
(termFormat tg PureSubstance "purong sangkap") | terms-tg.txt 31-31 |
appearance as argument number 3 |
(domain electronNumber 1 PureSubstance) | Mid-level-ontology.kif 21708-21708 | Le nombre 1 argument de electronNumber est une instance de substance pure |
(domain protonNumber 1 PureSubstance) | Mid-level-ontology.kif 21683-21683 | Le nombre 1 argument de protonNumber est une instance de substance pure |
(domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13793-13793 | Le nombre 1 argument de boilingPoint est une sous-classe de substance pure |
(domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13857-13857 | Le nombre 1 argument de meltingPoint est une sous-classe de substance pure |
antecedent |
consequent |