TreeView Knowledge Base Browser - 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

If a coffee grind attribute is the optimal CoffeeGrindAttribute for a kind of coffee making coffee making process,
then there exist a process, a collection and an object such that the process is an instance of a kind of coffee making and the collection is a patient of the process and the collection is an instance of collection and the object is a member of the collection and the object is an instance of coffee grind and the coffee grind attribute is an attribute of the object

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: