optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Food.kif 724-724 | The number 2 argument of optimal grind size for making coffee is an instance of coffee grind attribute |
No TPTP formula. May not be expressible in strict first order. | Food.kif 723-723 | The number 1 argument of optimal grind size for making coffee is a subclass of coffee making |
No TPTP formula. May not be expressible in strict first order. | Food.kif 718-718 | optimal grind size for making coffee is an instance of binary predicate |
No TPTP formula. May not be expressible in strict first order. | Food.kif 719-719 | optimal grind size for making coffee is internally related to roasted to temperature |
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 | Medium fine grind is the optimal CoffeeGrindAttribute for aeropress coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 842-842 | Extra coarse grind is the optimal CoffeeGrindAttribute for cold brew coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 893-893 | Medium grind is the optimal CoffeeGrindAttribute for dripping coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 790-790 | Fine grind is the optimal CoffeeGrindAttribute for espresso making coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 860-860 | Coarse grind is the optimal CoffeeGrindAttribute for French press coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 938-938 | Medium fine grind is the optimal CoffeeGrindAttribute for Moka pot coffee making coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 899-899 | Medium grind is the optimal CoffeeGrindAttribute for pour over coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 929-929 | Medium fine grind is the optimal CoffeeGrindAttribute for siphoning coffee coffee making process |
No TPTP formula. May not be expressible in strict first order. | Food.kif 959-959 | Extra fine grind is the optimal CoffeeGrindAttribute for TurkishCoffeeMaking coffee making process |