Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  beforeOnPath
|
|
|
| appearance as argument number 1 |
|
|
| (instance Bitterness TasteAttribute) | Food.kif 2124-2124 | Bitterness is an instance of taste attribute |
| (documentation Bitterness EnglishLanguage "Having a bitter taste.") | Food.kif 2125-2125 | Bitterness is an instance of taste attribute |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Bitterness "bitterness") | Food.kif 2126-2126 |
| consequent |
|
|
| (=> (instance ?X Aperitif) (attribute ?X Bitterness)) |
Food.kif 2116-2118 | If X is an instance of aperitif, then bitterness is an attribute of X |
|