| Chef | |
| appearance as argument number 1 |
|
|
| (documentation Chef EnglishLanguage "Chef refers to the Profession of cooking food") | Dining.kif 825-826 | |
| (instance Chef SkilledOccupation) | Dining.kif 824-824 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Chef "chef") | Dining.kif 827-827 |
| antecedent |
|
|
| (=> (attribute ?X Chef) (occupation ?X (OccupationFn Cooking))) |
Dining.kif 829-832 |
|
|
|