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 13841-13842 | |
(domain boilingPoint 2 TemperatureMeasure) | Merge.kif 13840-13840 | Il numero 2 argomenti di boilingPoint è un istanza di MisuraDiTemperatura |
(domainSubclass boilingPoint 1 PureSubstance) | Merge.kif 13839-13839 | Il numero 1 argomento boilingPoint è una sottoclasse diSostanzaPura |
(instance boilingPoint BinaryPredicate) | Merge.kif 13838-13838 | boilingPoint è un' istanza di PredicatoBinario |
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 |