| PureSubstance(substance pure)
| |
| 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 1082-1086 | |
| (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 1080-1080 | Substance pure est compl�tement d�compos� en substance compos�e + substance �l�mentaire |
| (subclass PureSubstance Substance) | Merge.kif 1079-1079 | Substance pure est une sous-classe de substance |
| appearance as argument number 2 |
|
|
| (partition Substance PureSubstance Mixture) | Merge.kif 1037-1037 | Substance est compl�tement d�compos� en substance pure + mixture |
| (subclass CompoundSubstance PureSubstance) | Merge.kif 1168-1168 | Substance compos�e est une sous-classe de substance pure |
| (subclass Defoliant PureSubstance) | Geography.kif 2635-2635 | Defoliant est une sous-classe de substance pure |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1088-1088 | Substance �l�mentaire est une sous-classe de substance pure |
| (subclass GreenhouseGas PureSubstance) | Geography.kif 2723-2723 | GreenhouseGas est une sous-classe de substance pure |
| (subclass HydrophilicLipidHead PureSubstance) | VirusProteinAndCellPart.kif 518-518 | HydrophilicLipidHead est une sous-classe de substance pure |
| (subclass HydrophobicLipidTail PureSubstance) | VirusProteinAndCellPart.kif 529-529 | HydrophobicLipidTail est une sous-classe de substance pure |
| (subclass Ion PureSubstance) | Mid-level-ontology.kif 23282-23282 | Ion est une sous-classe de substance pure |
| (termFormat ChineseLanguage PureSubstance "純物质") | chinese_format.kif 818-818 | Ion est une sous-classe de substance pure |
| (termFormat EnglishLanguage PureSubstance "pure substance") | english_format.kif 838-838 | Ion est une sous-classe de substance pure |
| (termFormat FrenchLanguage PureSubstance "substance pure") | french_format.kif 494-494 | Ion est une sous-classe de substance pure |
| (termFormat Hindi PureSubstance "shuddha padaartha") | terms-hindi.txt 27-27 | Ion est une sous-classe de substance pure |
| (termFormat ItalianLanguage PureSubstance "SostanzaPura") | terms-it.txt 30-30 | Ion est une sous-classe de substance pure |
| (termFormat JapaneseLanguage PureSubstance "純物質") | japanese_format.kif 2179-2179 | Ion est une sous-classe de substance pure |
| (termFormat PortugueseLanguage PureSubstance "Substancia Pura") | portuguese_format.kif 446-446 | Ion est une sous-classe de substance pure |
| (termFormat cb PureSubstance "maputling sustansiya") | terms-cb.txt 31-31 | Ion est une sous-classe de substance pure |
| (termFormat cz PureSubstance "�ist� substance") | terms-cz.txt 61-61 | Ion est une sous-classe de substance pure |
| (termFormat de PureSubstance "reine Substanz") | terms-de.txt 320-320 | Ion est une sous-classe de substance pure |
| (termFormat ro PureSubstance "substanþã purã") | relations-ro.kif 515-515 | Ion est une sous-classe de substance pure |
| (termFormat tg PureSubstance "purong sangkap") | terms-tg.txt 31-31 | Ion est une sous-classe de substance pure |
| appearance as argument number 3 |
|
|
| (domain electronNumber 1 PureSubstance) | Mid-level-ontology.kif 23325-23325 | Le nombre 1 argument de electronNumber est une instance de substance pure |
| (domain protonNumber 1 PureSubstance) | Mid-level-ontology.kif 23300-23300 | Le nombre 1 argument de protonNumber est une instance de substance pure |
| (domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13931-13931 | Le nombre 1 argument de boilingPoint est une sous-classe de substance pure |
| (domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13995-13995 | Le nombre 1 argument de meltingPoint est une sous-classe de substance pure |
| antecedent |
|
|
| consequent |
|
|
|
|
|