optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 724-724 | O argumento numero 2 de optimalGrindSizeForMakingCoffee e' uma instancia de CoffeeGrindAttribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 723-723 | O argumento numero 1 de optimalGrindSizeForMakingCoffee e' uma sub-classe de CoffeeMaking |
No TPTP formula. May not be expressible in strict first order. | Food.kif 718-718 | optimalGrindSizeForMakingCoffee e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Food.kif 719-719 | optimalGrindSizeForMakingCoffee e' relacionado internamente por SUMO a 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 |