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 4360-4361
(subclass Grain FoodFromPlant)	Economy.kif 4359-4359	Grain is a subclass of food from plant

appearance as argument number 2

(subclass CerealGrain Grain)	Economy.kif 4237-4237	Cereal grain is a subclass of grain
(subclass Malt Grain)	Economy.kif 4371-4371	Malt is a subclass of grain
(termFormat EnglishLanguage Grain "grain")	Economy.kif 4362-4362	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 4241-4243