|
|
  NuttyFlavour
|
|
|
| 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 |
|
|
|