Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Alfalfa
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Alfalfa Legume) | Economy.kif 5168-5168 | Alfalfa is a subclass of legume |
| (documentation Alfalfa EnglishLanguage "Alfalfa is the FruitOrVegetable part of the crop.") | Economy.kif 5169-5169 | Alfalfa is a subclass of legume |
| (documentation Alfalfa EnglishLanguage "Alfalfa is an important European leguminous forage plant with trifoliate leaves and blue-violet flowers grown widely as a pasture and hay crop.") | Society.kif 1032-1033 | Alfalfa is a subclass of legume |
| (externalImage Alfalfa "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e2/ Lucerne_flowers.jpg/ 800px_Lucerne_flowers.jpg") | pictureList.kif 25-25 | Alfalfa is a subclass of legume |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (subclass ?CLASS PlantStem) (equal ?CLASS Alfalfa)) (initialPart ?CLASS AlfalfaPlant)) |
Economy.kif 5162-5166 | If X is a subclass of plant stem and equal X and alfalfa, then every X is initially part of a alfalfa plant |
| statement |
|
|
| (subclass (DeadFn Alfalfa) PlantAgriculturalArtifact) |
Society.kif 1031-1031 | A dead alfalfa is a subclass of PlantAgriculturalArtifact |
|
