optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 724-724 | Le nombre 2 argument de optimalGrindSizeForMakingCoffee est une instance de CoffeeGrindAttribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 723-723 | Le nombre 1 argument de optimalGrindSizeForMakingCoffee est une sous-classe de CoffeeMaking |
No TPTP formula. May not be expressible in strict first order. | Food.kif 718-718 | optimalGrindSizeForMakingCoffee est une instance de pr�dicat binaire |
No TPTP formula. May not be expressible in strict first order. | Food.kif 719-719 | optimalGrindSizeForMakingCoffee est reli� � l'int�rieur de SUMO � roastedToTemperature |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 720-722 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 726-726 | |
No TPTP formula. May not be expressible in strict first order. | Food.kif 725-725 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Food.kif 728-737 |
|
appearance as argument number 0 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 905-905 | optimalGrindSizeForMakingCoffee AeropressingCoffee and MediumFineGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 842-842 | optimalGrindSizeForMakingCoffee ColdBrewingCoffee and ExtraCoarseGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 893-893 | optimalGrindSizeForMakingCoffee DrippingCoffee and MediumGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 790-790 | optimalGrindSizeForMakingCoffee EspressoMaking and FineGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 860-860 | optimalGrindSizeForMakingCoffee FrenchPressingCoffee and CoarseGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 938-938 | optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking and MediumFineGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 899-899 | optimalGrindSizeForMakingCoffee PouringOverCoffee and MediumGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 929-929 | optimalGrindSizeForMakingCoffee SiphoningCoffee and MediumFineGrind |
No TPTP formula. May not be expressible in strict first order. | Food.kif 959-959 | optimalGrindSizeForMakingCoffee TurkishCoffeeMaking and ExtraFineGrind |