grainSize |
appearance as argument number 1 |
(documentation grainSize EnglishLanguage "grainSize is a BinaryRelation describing the diameter measure of a particle.") | Food.kif 1076-1077 | |
(domain grainSize 1 Object) | Food.kif 1079-1079 | Le nombre 1 argument de grainSize est une instance de objet |
(domain grainSize 2 RealNumber) | Food.kif 1080-1080 | Le nombre 2 argument de grainSize est une instance de nombre r�el |
(instance grainSize BinaryPredicate) | Food.kif 1075-1075 | grainSize est une instance de pr�dicat binaire |
appearance as argument number 2 |
(format EnglishLanguage grainSize "%2 is the diameter in UnitOFLength of %1") | Food.kif 1081-1081 | |
(termFormat EnglishLanguage grainSize "grain size") | Food.kif 1078-1078 |
antecedent |
consequent |
(=> (and (instance ?A CoffeeGrindAttribute) (attribute ?C ?A) (instance ?C CoffeeGrind)) (exists (?L ?X) (and (grainSize ?C ?L) (instance ?X LengthMeasure) (equal ?X (MeasureFn ?L Millimeter))))) |
Food.kif 1063-1073 |
|