Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DensityFn
DensityFn

appearance as argument number 1
-------------------------


(documentation DensityFn ChineseLanguage "DensityFnMassMeasure 的实例和 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 6441-6444
(domain DensityFn 1 MassMeasure) Merge.kif 6437-6437 The number 1 argument of density is an instance of mass measure
(domain DensityFn 2 VolumeMeasure) Merge.kif 6438-6438 The number 2 argument of density is an instance of volume measure
(instance DensityFn BinaryFunction) Merge.kif 6436-6436 Density is an instance of binary function
(instance DensityFn TotalValuedRelation) Merge.kif 6435-6435 Density is an instance of total valued relation
(range DensityFn FunctionQuantity) Merge.kif 6439-6439 The range of density is an instance of function quantity
(subrelation DensityFn PerFn) Merge.kif 6434-6434 Density is a subrelation of per

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
(termFormat ChineseLanguage DensityFn "密度") domainEnglishFormat.kif 19047-19047
(termFormat ChineseLanguage DensityFn "密度函数") chinese_format.kif 658-658
(termFormat ChineseTraditionalLanguage DensityFn "密度") domainEnglishFormat.kif 19046-19046
(termFormat EnglishLanguage DensityFn "density") domainEnglishFormat.kif 19045-19045


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners