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
-------------------------


s__documentation(s__DensityFn__m,s__ChineseLanguage,'"DensityFnMassMeasure 的实例和 VolumeMeasure 的实例和由这个质量和体积比例所代表的密度联系起来。例如: (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) 表示密度3克/ 升。"')

chinese_format.kif 2480-2482
s__documentation(s__DensityFn__m,s__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 6406-6409
s__domain(s__DensityFn__m,n__1,s__MassMeasure)

Merge.kif 6402-6402 The number 1 argument of density is an instance of mass measure
s__domain(s__DensityFn__m,n__2,s__VolumeMeasure)

Merge.kif 6403-6403 The number 2 argument of density is an instance of volume measure
s__instance(s__BinaryFunction,s__SetOrClass)

s__instance(s__DensityFn__m,s__BinaryFunction)

Merge.kif 6401-6401 Density is an instance of binary function
s__instance(s__TotalValuedRelation,s__SetOrClass)

s__instance(s__DensityFn__m,s__TotalValuedRelation)

Merge.kif 6400-6400 Density is an instance of total valued relation
s__range(s__DensityFn__m,s__FunctionQuantity)

Merge.kif 6404-6404 The range of density is an instance of function quantity
s__subrelation(s__DensityFn__m,s__PerFn__m)

Merge.kif 6399-6399 Density is a subrelation of per

appearance as argument number 2
-------------------------


s__format(s__ChineseLanguage,s__DensityFn__m,'"%1 除以 %2"')

chinese_format.kif 657-657
s__format(s__EnglishLanguage,s__DensityFn__m,'"%1 per %2"')

english_format.kif 663-663
s__termFormat(s__ChineseLanguage,s__DensityFn__m,'"密度"')

domainEnglishFormat.kif 19047-19047
s__termFormat(s__ChineseLanguage,s__DensityFn__m,'"密度函数"')

chinese_format.kif 658-658
s__termFormat(s__ChineseTraditionalLanguage,s__DensityFn__m,'"密度"')

domainEnglishFormat.kif 19046-19046
s__termFormat(s__EnglishLanguage,s__DensityFn__m,'"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