CloverPlant(clover plant) |
appearance as argument number 1 |
![]() |
(documentation CloverPlant EnglishLanguage "CloverPlant are common names for plants of engus Trifolium, a perennial FloweringPlant species called in the legume family of Fabeceae. It is an important forage crop.") | Economy.kif 5045-5046 | |
(subclass CloverPlant HerbaceousPlant) | Economy.kif 5044-5044 | Clover plant is a subclass of HerbaceousPlant |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage CloverPlant "clover plant") | Economy.kif 5047-5047 |
consequent |
![]() |
(=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 5049-5053 |
|
![]() |
![]() |