| 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 6635-6638 | |
| (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 6631-6631 | DensityFn の数値 1 引数は 質量測定 の instance では %n |
| (domain DensityFn 2 VolumeMeasure) | Merge.kif 6632-6632 | DensityFn の数値 2 引数は 容積測定 の instance では %n |
| (instance DensityFn BinaryFunction) | Merge.kif 6630-6630 | DensityFn は 2変数関数 の instance では %n |
| (instance DensityFn TotalValuedRelation) | Merge.kif 6629-6629 | DensityFn は 合計値関係 の instance では %n |
| (range DensityFn FunctionQuantity) | Merge.kif 6633-6633 | DensityFn の range は 関数量 のインスタンス では %n |
| (subrelation DensityFn PerFn) | Merge.kif 6628-6628 | DensityFn は PerFn の subrelation では %n |
| 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 19053-19053 | |
| (termFormat ChineseLanguage DensityFn "密度函数") | chinese_format.kif 658-658 | |
| (termFormat ChineseTraditionalLanguage DensityFn "密度") | domainEnglishFormat.kif 19052-19052 | |
| (termFormat EnglishLanguage DensityFn "density") | domainEnglishFormat.kif 19051-19051 |
|
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