appearance as argument number 1 |
![]() |
(documentation Clover EnglishLanguage "Clover is the FruitOrVegetable part of the crop.") | Economy.kif 5056-5056 | |
(externalImage Clover "http://upload.wikimedia.org/wikipedia/commons/2/25/ Four_leaf_clover.jpg") | pictureList.kif 854-854 | |
(subclass Clover Legume) | Economy.kif 5055-5055 | Clover is a subclass of legume |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Clover "苜") | domainEnglishFormat.kif 15321-15321 | |
(termFormat ChineseTraditionalLanguage Clover "苜") | domainEnglishFormat.kif 15320-15320 | |
(termFormat EnglishLanguage Clover "clover") | domainEnglishFormat.kif 15319-15319 |
antecedent |
![]() |
(=> (and (subclass ?CLASS Seed) (equal ?CLASS Clover)) (initialPart ?CLASS CloverPlant)) |
Economy.kif 5049-5053 |
|
![]() |
![]() |