TreeView Knowledge Base Browser

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
(domain DensityFn 2 VolumeMeasure)	Merge.kif 6647-6647
(instance DensityFn BinaryFunction)	Merge.kif 6645-6645
(instance DensityFn TotalValuedRelation)	Merge.kif 6644-6644
(range DensityFn FunctionQuantity)	Merge.kif 6648-6648
(subrelation DensityFn PerFn)	Merge.kif 6643-6643

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