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 and Substance |
(domain mixtureRatio 2 Substance) | Food.kif 1242-1242 | 域 mixtureRatio, 2 and Substance |
(domain mixtureRatio 3 RealNumber) | Food.kif 1243-1243 | 域 mixtureRatio, 3 and RealNumber |
(domain mixtureRatio 4 RealNumber) | Food.kif 1244-1244 | 域 mixtureRatio, 4 and RealNumber |
(domain mixtureRatio 5 UnitOfMeasure) | Food.kif 1245-1245 | 域 mixtureRatio, 5 and UnitOfMeasure |
(instance mixtureRatio QuintaryRelation) | Food.kif 1237-1237 | 例 mixtureRatio and QuintaryRelation |
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 |