DensityFn |
appearance as argument number 1 |
(documentation DensityFn ChineseLanguage "DensityFn 把 MassMeasure 的实例和 VolumeMeasure 的实例和由这个质量和体积比例所代表的密度联系起来。例如: (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) 表示密度3克/ 升。") | chinese_format.kif 2480-2482 | |
(documentation DensityFn EnglishLanguage "DensityFn maps an instance of MassMeasure and an instance of VolumeMeasure to the density represented by this proportion of mass and volume. For example, (DensityFn (MeasureFn 3 Gram) (MeasureFn 1 Liter)) represents the density of 3 grams per liter.") | Merge.kif 6650-6653 | |
(documentation DensityFn JapaneseLanguage "DensityFn は、MassMeasure のインスタンスと VolumeMeasure のインスタンスを、この質量と体積の比率で表される密度にマップする。 例: (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) は、1リットル当たり3グラムの密度 を表す。") | japanese_format.kif 1174-1177 | |
(domain DensityFn 1 MassMeasure) | Merge.kif 6646-6646 | Die Zahl 1 Argument von DensityFn ist ein fall von MassMeasure %n{nicht} |
(domain DensityFn 2 VolumeMeasure) | Merge.kif 6647-6647 | Die Zahl 2 Argument von DensityFn ist ein fall von VolumeMeasure %n{nicht} |
(instance DensityFn BinaryFunction) | Merge.kif 6645-6645 | DensityFn ist ein fall von BinaryFunction %n{nicht} |
(instance DensityFn TotalValuedRelation) | Merge.kif 6644-6644 | DensityFn ist ein fall von TotalValuedRelation %n{nicht} |
(range DensityFn FunctionQuantity) | Merge.kif 6648-6648 | bildbereich von DensityFn ist ein fall von FunctionQuantity {nicht} |
(subrelation DensityFn PerFn) | Merge.kif 6643-6643 | DensityFn ist eine teilrelation von PerFn |
appearance as argument number 2 |
(format ChineseLanguage DensityFn "%1 除以 %2") | chinese_format.kif 657-657 | |
(format EnglishLanguage DensityFn "%1 per %2") | english_format.kif 660-660 | |
(format FrenchLanguage DensityFn "%1 pour %2") | french_format.kif 395-395 | |
(format ItalianLanguage DensityFn "%1 per %2") | relations-it.txt 69-69 | |
(format JapaneseLanguage DensityFn "%2 per %1") | japanese_format.kif 2125-2125 | |
(format PortugueseLanguage DensityFn "%1 por %2") | portuguese_format.kif 347-347 | |
(format de DensityFn "%1 pro &2") | relations-de.txt 860-860 | |
(format hi DensityFn "%1 prati %2") | relations-hindi.txt 110-110 | |
(format ro DensityFn "%1 per%t{pe} %2") | relations-ro.kif 417-417 | |
(format sv DensityFn "%1 per %2") | relations-sv.txt 438-438 | |
(format tg DensityFn "%1 sa isa %2") | relations-cb.txt 103-103 | |
(termFormat ChineseLanguage DensityFn "密度") | domainEnglishFormat.kif 19056-19056 | |
(termFormat ChineseLanguage DensityFn "密度函数") | chinese_format.kif 658-658 | |
(termFormat ChineseTraditionalLanguage DensityFn "密度") | domainEnglishFormat.kif 19055-19055 | |
(termFormat EnglishLanguage DensityFn "density") | domainEnglishFormat.kif 19054-19054 |