| appearance as argument number 1 |
|
| (documentation MediumGrind EnglishLanguage "MediumGrind CoffeeGrind has a particle size of aproximateValue of approximateDiameter of 0.75 Millimeters.") | Food.kif 1127-1128 | |
| (instance MediumGrind CoffeeGrindAttribute) | Food.kif 1126-1126 | MediumGrind est une instance de CoffeeGrindAttribute |
| appearance as argument number 2 |
|
|
| (optimalGrindSizeForMakingCoffee DrippingCoffee MediumGrind) | Food.kif 893-893 | optimalGrindSizeForMakingCoffee DrippingCoffee and MediumGrind |
| (optimalGrindSizeForMakingCoffee PouringOverCoffee MediumGrind) | Food.kif 899-899 | optimalGrindSizeForMakingCoffee PouringOverCoffee and MediumGrind |
| (termFormat EnglishLanguage MediumGrind "medium grind") | Food.kif 1129-1129 |
| antecedent |
|
|
| (=> (and (instance ?C CoffeeGrind) (attribute ?C MediumGrind) (grainSize ?C ?L)) (equal ?L 0.75)) |
Food.kif 1131-1136 |
|
|
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