Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Grain
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Grain FoodFromPlant) | Economy.kif 4481-4481 | Grain is a subclass of food from a plant |
| (documentation Grain EnglishLanguage "Grain is the class of FoodFromPlant which are derived from Harvesting CerealGrain and Legumes.") | Economy.kif 4482-4483 | Grain is a subclass of food from a plant |
| appearance as argument number 2 |
|
|
| (subclass CerealGrain Grain) | Economy.kif 4359-4359 | Cereal grain is a subclass of grain |
| (termFormat EnglishLanguage Grain "grain") | Economy.kif 4484-4484 | Cereal grain is a subclass of grain |
| (subclass Malt Grain) | Economy.kif 4493-4493 | Malt is a subclass of grain |
| antecedent |
|
|
| (=> (and (instance ?G Grain) (grainSize ?G ?L)) (approximateDiameter ?G (MeasureFn ?L UnitOfLength))) |
Food.kif 1061-1066 | If X is an instance of grain and Y is the diameter in UnitOFLength of X, then the approximate diameter of X is Y unit of length(s) |
| consequent |
|
|
| (=> (instance ?X (DeadFn CerealGrass)) (instance ?X Grain)) |
Economy.kif 4363-4365 | If X is an instance of a dead cereal grass plant, then X is an instance of grain |
|