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 | grainSize の数値 1 引数は オブジェクト の instance では %n |
(domain grainSize 2 RealNumber) | Food.kif 1080-1080 | grainSize の数値 2 引数は 実数 の instance では %n |
(instance grainSize BinaryPredicate) | Food.kif 1075-1075 | grainSize は 2進述語 の instance では %n |
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 |