Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Decreasing
|
|
|
| appearance as argument number 1 |
|
|
| (instance Chef SkilledOccupation) | Dining.kif 824-824 | Chef is an instance of skilled occupation |
| (documentation Chef EnglishLanguage "Chef refers to the Profession of cooking food") | Dining.kif 825-826 | Chef is an instance of skilled occupation |
| 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 | If chef is an attribute of X, then the occupation of cooking is an occupation of X |
|