| appearance as argument number 1 |
|
| (documentation DensityFn ChineseLanguage "DensityFn 把 MassMeasure 的实例和 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 6650-6653 | |
| (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 6646-6646 | The number 1 argument of density is an instance of mass measure |
| (domain DensityFn 2 VolumeMeasure) | Merge.kif 6647-6647 | The number 2 argument of density is an instance of volume measure |
| (instance DensityFn BinaryFunction) | Merge.kif 6645-6645 | Density is an instance of binary function |
| (instance DensityFn TotalValuedRelation) | Merge.kif 6644-6644 | Density is an instance of total valued relation |
| (range DensityFn FunctionQuantity) | Merge.kif 6648-6648 | The range of density is an instance of function quantity |
| (subrelation DensityFn PerFn) | Merge.kif 6643-6643 | 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 | |
| (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 19072-19072 | |
| (termFormat ChineseLanguage DensityFn "密度函数") | chinese_format.kif 658-658 | |
| (termFormat ChineseTraditionalLanguage DensityFn "密度") | domainEnglishFormat.kif 19071-19071 | |
| (termFormat EnglishLanguage DensityFn "density") | domainEnglishFormat.kif 19070-19070 |
|
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