mixtureRatio |
appearance as argument number 1 |
(documentation mixtureRatio EnglishLanguage "mixtureRatio is a QuintaryRelation which specifies how many Liter of two Liquid Substances in a LiquidMixture.") | Food.kif 1238-1239 | |
(domain mixtureRatio 1 Substance) | Food.kif 1241-1241 | mixtureRatio の数値 1 引数は 物質 の instance では %n |
(domain mixtureRatio 2 Substance) | Food.kif 1242-1242 | mixtureRatio の数値 2 引数は 物質 の instance では %n |
(domain mixtureRatio 3 RealNumber) | Food.kif 1243-1243 | mixtureRatio の数値 3 引数は 実数 の instance では %n |
(domain mixtureRatio 4 RealNumber) | Food.kif 1244-1244 | mixtureRatio の数値 4 引数は 実数 の instance では %n |
(domain mixtureRatio 5 UnitOfMeasure) | Food.kif 1245-1245 | mixtureRatio の数値 5 引数は 測定単位 の instance では %n |
(instance mixtureRatio QuintaryRelation) | Food.kif 1237-1237 | mixtureRatio は 5進法関係 の instance では %n |
appearance as argument number 2 |
(format EnglishLanguage mixtureRatio "A Mixture containing %3 unit %5 of %1 and %4 unit %5 of %2") | Food.kif 1246-1246 | |
(termFormat EnglishLanguage mixtureRatio "mixture ratio") | Food.kif 1240-1240 |
antecedent |