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 4487-4488
(subclass Grain FoodFromPlant)	Economy.kif 4486-4486	Grain is a subclass of food from plant

appearance as argument number 2

(subclass CerealGrain Grain)	Economy.kif 4364-4364	Cereal grain is a subclass of grain
(subclass Malt Grain)	Economy.kif 4498-4498	Malt is a subclass of grain
(termFormat EnglishLanguage Grain "grain")	Economy.kif 4489-4489	Malt is a subclass of grain

antecedent

(=>
    (and
        (instance ?G Grain)
        (grainSize ?G ?L))
    (approximateDiameter ?G
        (MeasureFn ?L UnitOfLength)))

Food.kif 1084-1089

consequent

(=>
    (instance ?X
        (DeadFn CerealGrass))
    (instance ?X Grain))

Economy.kif 4368-4370