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 6649-6652
(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 6645-6645 Le nombre 1 argument de DensityFn est une instance de mesure de masse
(domain DensityFn 2 VolumeMeasure) Merge.kif 6646-6646 Le nombre 2 argument de DensityFn est une instance de mesure de volume
(instance DensityFn BinaryFunction) Merge.kif 6644-6644 DensityFn est une instance de fonction binaire
(instance DensityFn TotalValuedRelation) Merge.kif 6643-6643 DensityFn est une instance de relation total
(range DensityFn FunctionQuantity) Merge.kif 6647-6647 Le domaine de DensityFn est une instance de function de quantit�
(subrelation DensityFn PerFn) Merge.kif 6642-6642 DensityFn est une sous-relation de 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 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

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

Show without tree

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