NuttyFlavour(nutty flavour) |
appearance as argument number 1 |
(documentation NuttyFlavour EnglishLanguage "Having the flavour related to nuts.") | Economy.kif 4431-4431 | |
(instance NuttyFlavour FlavourAttribute) | Economy.kif 4430-4430 | Nutty flavour is an instance of flavour attribute |
appearance as argument number 2 |
(termFormat EnglishLanguage NuttyFlavour "nutty flavour") | Economy.kif 4432-4432 |