Grain - Sigma Knowledge base Browser

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 is a subclass of food from plant

appearance as argument number 2

(subclass CerealGrain Grain)	Economy.kif 4027-4027	Cereal grain is a subclass of grain
(subclass Malt Grain)	Economy.kif 4161-4161	Malt is a subclass of grain
(termFormat EnglishLanguage Grain "grain")	Economy.kif 4152-4152	Malt is a subclass of grain

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