RedCabbage
|
|
appearance as argument number 1 |
(subclass RedCabbage Cabbage) | Economy.kif 4254-4254 | Red cabbage is a subclass of cabbage |
appearance as argument number 2 |
(termFormat EnglishLanguage RedCabbage "red cabbage") | Economy.kif 4255-4255 |