![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
|
|
Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass WheatGrain CerealGrain) | Economy.kif 4383-4383 | Wheat grain is a subclass of cereal grain |
| (documentation WheatGrain EnglishLanguage "A long CerealGrain which is produced by certain grasses and which is used to make BreadOrBiscuits.") | Economy.kif 4384-4385 | Wheat grain is a subclass of cereal grain |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?WF (OrganicObjectFn WheatGrain)) (instance ?WF WheatFlour)) |
Food.kif 1484-1486 | If X is an instance of Object made from wheat grain, then X is an instance of wheat flour |
| consequent |
|
|
| (=> (instance ?X (DeadFn WheatGrass)) (instance ?X WheatGrain)) |
Economy.kif 4387-4389 | If X is an instance of a dead wheat grass, then X is an instance of wheat grain |