optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) | Food.kif 724-724 | |
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 723-723 | |
(instance optimalGrindSizeForMakingCoffee BinaryPredicate) | Food.kif 718-718 | |
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) | Food.kif 719-719 |
appearance as argument number 2 |
(documentation EnglishLanguage optimalGrindSizeForMakingCoffee "optimalGrindSizeForMakingCoffee is a BinaryRelation which states the optimal size of the CoffeeGrind for the a particular kind of CoffeeMaking process.") | Food.kif 720-722 | |
(format EnglishLanguage optimalGrindSizeForMakingCoffee "%2 is the optimal CoffeeGrindAttribute for %1 coffee making process") | Food.kif 726-726 | |
(termFormat EnglishLanguage optimalGrindSizeForMakingCoffee "optimal grind size for making coffee") | Food.kif 725-725 |
antecedent |
(=> (optimalGrindSizeForMakingCoffee ?CLASS ?A) (exists (?CM ?COLL ?C) (and (instance ?CM ?CLASS) (patient ?CM ?COLL) (instance ?COLL Collection) (member ?C ?COLL) (instance ?C CoffeeGrind) (attribute ?C ?A)))) |
Food.kif 728-737 |
appearance as argument number 0 |
(optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind) | Food.kif 905-905 | |
(optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) | Food.kif 842-842 | |
(optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind) | Food.kif 893-893 | |
(optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) | Food.kif 790-790 | |
(optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) | Food.kif 860-860 | |
(optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) | Food.kif 938-938 | |
(optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind) | Food.kif 899-899 | |
(optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind) | Food.kif 929-929 | |
(optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind) | Food.kif 959-959 |