boilingPoint |
appearance as argument number 1 |
(documentation boilingPoint ChineseLanguage "这是当 PureSubstance 从 Liquid 变成 Gas 状态的温度。") | chinese_format.kif 1418-1419 | |
(documentation boilingPoint EnglishLanguage "The temperature at which a PureSubstance changes state from a Liquid to a Gas.") | Merge.kif 13795-13796 | |
(domain boilingPoint 2 TemperatureMeasure) | Merge.kif 13794-13794 | Le nombre 2 argument de boilingPoint est une instance de mesure de temperature |
(domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13793-13793 | Le nombre 1 argument de boilingPoint est une sous-classe de substance pure |
(instance boilingPoint BinaryPredicate) | Merge.kif 13792-13792 | boilingPoint est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format ChineseLanguage boilingPoint "%2 %n 是 %1 的 boiling 点") | domainEnglishFormat.kif 320-320 | |
(format ChineseTraditionalLanguage boilingPoint "%2 %n 是 %1 的 boiling 點") | domainEnglishFormat.kif 319-319 | |
(format EnglishLanguage boilingPoint "%2 is %n a boiling point of %1") | domainEnglishFormat.kif 318-318 | |
(termFormat ChineseLanguage boilingPoint "沸点") | domainEnglishFormat.kif 11507-11507 | |
(termFormat ChineseTraditionalLanguage boilingPoint "沸點") | domainEnglishFormat.kif 11506-11506 | |
(termFormat EnglishLanguage boilingPoint "boiling point") | domainEnglishFormat.kif 11505-11505 |
antecedent |
appearance as argument number 0 |