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 | Il numero 1 argomenti di grainSize è un istanza di Oggetto |
(domain grainSize 2 RealNumber) | Food.kif 1080-1080 | Il numero 2 argomenti di grainSize è un istanza di NumeroReale |
(instance grainSize BinaryPredicate) | Food.kif 1075-1075 | grainSize è un' istanza di PredicatoBinario |
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 |
|