optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) | Food.kif 724-724 | The number 2 argument of optimal grind size for making coffee is an instance of coffee grind attribute |
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 723-723 | The number 1 argument of optimal grind size for making coffee is a subclass of coffee making |
(instance optimalGrindSizeForMakingCoffee BinaryPredicate) | Food.kif 718-718 | optimal grind size for making coffee is an instance of binary predicate |
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) | Food.kif 719-719 | optimal grind size for making coffee is internally related to roasted to temperature |
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 |