LeafyGreenVegetable(leafy green vegetable)![]() | ![]() | celtuce, salad_green, salad_greens |
appearance as argument number 1 |
![]() |
(externalImage LeafyGreenVegetable "http://upload.wikimedia.org/wikipedia/ commons/ 3/ 36/ Spinach_produce-1.jpg") | pictureList.kif 1440-1440 | |
(subclass LeafyGreenVegetable Vegetable) | Economy.kif 4547-4547 | Leafy green vegetable is a subclass of vegetable |
appearance as argument number 2 |
![]() |
antecedent |
![]() |
(=> (and (subclass ?CLASS PlantLeaf) (equal ?CLASS LeafyGreenVegetable)) (initialPart ?CLASS Plant)) |
Economy.kif 4551-4555 |
|
![]() |
![]() |