|
|
   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 | 純物質 は 合成物質 + 単体 に exhaustively partitioned %n |
| (subclass PureSubstance Substance) | Merge.kif 1084-1084 | 純物質 は 物質 の subclass では %n |
| appearance as argument number 2 |
|
|
| (partition Substance PureSubstance Mixture) | Merge.kif 1042-1042 | 物質 は 純物質 + 混合物 に exhaustively partitioned %n |
| (subclass CompoundSubstance PureSubstance) | Merge.kif 1173-1173 | 合成物質 は 純物質 の subclass では %n |
| (subclass Defoliant PureSubstance) | Geography.kif 2647-2647 | Defoliant は 純物質 の subclass では %n |
| (subclass ElementalSubstance PureSubstance) | Merge.kif 1093-1093 | 単体 は 純物質 の subclass では %n |
| (subclass GreenhouseGas PureSubstance) | Geography.kif 2735-2735 | GreenhouseGas は 純物質 の subclass では %n |
| (subclass HydrophilicLipidHead PureSubstance) | VirusProteinAndCellPart.kif 513-513 | HydrophilicLipidHead は 純物質 の subclass では %n |
| (subclass HydrophobicLipidTail PureSubstance) | VirusProteinAndCellPart.kif 524-524 | HydrophobicLipidTail は 純物質 の subclass では %n |
| (subclass Ion PureSubstance) | Mid-level-ontology.kif 21664-21664 | Ion は 純物質 の subclass では %n |
| (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 21707-21707 | electronNumber の数値 1 引数は 純物質 の instance では %n |
| (domain protonNumber 1 PureSubstance) | Mid-level-ontology.kif 21682-21682 | protonNumber の数値 1 引数は 純物質 の instance では %n |
| (domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13815-13815 | boilingPoint の数値 1 引数は 純物質 のsubclass では %n |
| (domainSubclass meltingPoint 1 PureSubstance) | Merge.kif 13879-13879 | meltingPoint の数値 1 引数は 純物質 のsubclass では %n |
| antecedent |
|
|
| (=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan 29.92 ?PRES) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?BOIL)) (attribute ?X Gas)) |
Merge.kif 13820-13829 | |
| (=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (boilingPoint ?Y (MeasureFn ?BOIL KelvinDegree)) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (greaterThan ?TEMP ?MELT) (lessThan ?TEMP ?BOIL)) (attribute ?X Liquid)) |
Merge.kif 13831-13840 | |
| (=> (and (instance ?X ?Y) (subclass ?Y PureSubstance) (meltingPoint ?Y (MeasureFn ?MELT KelvinDegree)) (barometricPressure ?X (MeasureFn ?PRES InchMercury)) (greaterThan ?PRES 29.92) (measure ?X (MeasureFn ?TEMP KelvinDegree)) (lessThan ?TEMP ?MELT)) (attribute ?X Solid)) |
Merge.kif 13842-13851 |
| consequent |
|
|
|
|
|
