DensityFn - Sigma Knowledge base Browser

appearance as argument number 1

(subrelation DensityFn PerFn)	Merge.kif 6761-6761	Density is a subrelation of per
(instance DensityFn TotalValuedRelation)	Merge.kif 6762-6762	Density is an instance of total valued relation
(instance DensityFn BinaryFunction)	Merge.kif 6763-6763	Density is an instance of binary function
(domain DensityFn 1 MassMeasure)	Merge.kif 6764-6764	The number 1 argument of density is an instance of mass measure
(domain DensityFn 2 VolumeMeasure)	Merge.kif 6765-6765	The number 2 argument of density is an instance of volume measure
(range DensityFn FunctionQuantity)	Merge.kif 6766-6766	The range of density is an instance of function quantity
(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 6768-6771	The range of density is an instance of function quantity

appearance as argument number 2

(termFormat EnglishLanguage DensityFn "density")	domainEnglishFormat.kif 19056-19056
(termFormat ChineseTraditionalLanguage DensityFn "密度")	domainEnglishFormat.kif 19057-19057
(termFormat ChineseLanguage DensityFn "密度")	domainEnglishFormat.kif 19058-19058
(format EnglishLanguage DensityFn "%1 per %2")	english_format.kif 660-660