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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - 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 6233-6236
(domain DensityFn 1 MassMeasure) Merge.kif 6229-6229 domain DensityFn, 1 and MassMeasure
(domain DensityFn 2 VolumeMeasure) Merge.kif 6230-6230 domain DensityFn, 2 and VolumeMeasure
(instance DensityFn BinaryFunction) Merge.kif 6228-6228 instance DensityFn and BinaryFunction
(instance DensityFn TotalValuedRelation) Merge.kif 6227-6227 instance DensityFn and TotalValuedRelation
(range DensityFn FunctionQuantity) Merge.kif 6231-6231 range DensityFn and FunctionQuantity
(subrelation DensityFn PerFn) Merge.kif 6226-6226 subrelation DensityFn and 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 663-663
(termFormat ChineseLanguage DensityFn "密度") domainEnglishFormat.kif 18985-18985 termFormat ChineseLanguage, DensityFn and "密度"
(termFormat ChineseLanguage DensityFn "密度函数") chinese_format.kif 658-658 termFormat ChineseLanguage, DensityFn and "密度函数"
(termFormat ChineseTraditionalLanguage DensityFn "密度") domainEnglishFormat.kif 18984-18984 termFormat ChineseTraditionalLanguage, DensityFn and "密度"
(termFormat EnglishLanguage DensityFn "density") domainEnglishFormat.kif 18983-18983 termFormat EnglishLanguage, DensityFn and "density"

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners