Grain |
appearance as argument number 1 |
(documentation Grain EnglishLanguage "Grain is the class of FoodFromPlant which are derived from Harvesting CerealGrain and Legumes.") | Economy.kif 4150-4151 | |
(subclass Grain FoodFromPlant) | Economy.kif 4149-4149 | Grain è una sottoclasse di FoodFromPlant |
appearance as argument number 2 |
(subclass CerealGrain Grain) | Economy.kif 4027-4027 | CerealGrain è una sottoclasse di Grain |
(subclass Malt Grain) | Economy.kif 4161-4161 | Malt è una sottoclasse di Grain |
(termFormat EnglishLanguage Grain "grain") | Economy.kif 4152-4152 |
antecedent |
(=> (and (instance ?G Grain) (grainSize ?G ?L)) (approximateDiameter ?G (MeasureFn ?L UnitOfLength))) |
Food.kif 1083-1088 |
consequent |
(=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4031-4033 |