![]() |
![]() Browsing Interface : Welcome guest : log in |
[
Home | 
Graph | 
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
|
| (subclass CerealGrass Grass) | Economy.kif 4145-4145 | Cereal grass plant is a subclass of grass plant |
| (documentation CerealGrass EnglishLanguage "CerealGrass are Grass whose starchy Grains are used as food.") | Economy.kif 4146-4147 | Cereal grass plant is a subclass of grass plant |
| (externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ b/ b3/ Various_grains.jpg") | pictureList.kif 8411-8411 | Cereal grass plant is a subclass of grass plant |
| (externalImage CerealGrass "http://upload.wikimedia.org/wikipedia/commons/ d/ d0/ 040719_172_dorset_marnhull.jpg") | pictureList.kif 9041-9041 | Cereal grass plant is a subclass of grass plant |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (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 |
| consequent |
|
|
| (=> (and (equal ?M (OrganicObjectFn ?G)) (subclass ?M Malt) (subclass ?G CerealGrain)) (initialPart ?G CerealGrass)) |
Economy.kif 4498-4504 | If equal X and Object made from Y, X is a subclass of malt, and Y is a subclass of cereal grain, then every Y is initially part of a cereal grass plant |