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