| appearance as argument number 1 |
|
| (domain optimalGrindSizeForMakingCoffee 2 CoffeeGrindAttribute) | Food.kif 724-724 | |
| (domainSubclass optimalGrindSizeForMakingCoffee 1 CoffeeMaking) | Food.kif 723-723 | |
| (instance optimalGrindSizeForMakingCoffee BinaryPredicate) | Food.kif 718-718 | |
| (relatedInternalConcept optimalGrindSizeForMakingCoffee roastedToTemperature) | Food.kif 719-719 |
| 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 |
|
|
| (optimalGrindSizeForMakingCoffee AeropressingCoffee MediumFineGrind) | Food.kif 905-905 | |
| (optimalGrindSizeForMakingCoffee ColdBrewingCoffee ExtraCoarseGrind) | Food.kif 842-842 | |
| (optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind) | Food.kif 893-893 | |
| (optimalGrindSizeForMakingCoffee EspressoMaking FineGrind) | Food.kif 790-790 | |
| (optimalGrindSizeForMakingCoffee FrenchPressingCoffee CoarseGrind) | Food.kif 860-860 | |
| (optimalGrindSizeForMakingCoffee MokaPotCoffeeMaking MediumFineGrind) | Food.kif 938-938 | |
| (optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind) | Food.kif 899-899 | |
| (optimalGrindSizeForMakingCoffee SiphoningCoffee MediumFineGrind) | Food.kif 929-929 | |
| (optimalGrindSizeForMakingCoffee TurkishCoffeeMaking ExtraFineGrind) | Food.kif 959-959 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners