optimalGrindSizeForMakingCoffee |
appearance as argument number 1 |
(domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) | Food.kif 724-724 | Il numero 2 argomenti di optimalGrindSizeForMakingCoffee è un istanza di CoffeeGrindAttribute |
(domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 723-723 | Il numero 1 argomento optimalGrindSizeForMakingCoffee è una sottoclasse diCoffeeMaking |
(instance optimalGrindSizeForMakingCoffee BinaryPredicate) | Food.kif 718-718 | optimalGrindSizeForMakingCoffee è un' istanza di PredicatoBinario |
(relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) | Food.kif 719-719 | optimalGrindSizeForMakingCoffee è interamente correlato a roastedToTemperature |
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 |