Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
LemonFruit(lemon fruit)
|  | lemon |
| appearance as argument number 1 |
|
|
| (subclass LemonFruit CitrusFruit) | Food.kif 2347-2347 | Lemon fruit is a subclass of citrus fruit |
| (subclass LemonFruit (FoodForFn Animal)) |
Food.kif 2348-2348 | Lemon fruit is a subclass of food for animal |
| (documentation LemonFruit EnglishLanguage "A citrus FruitOrVegetable that has a Yellow PeelOrRind and a tart, acidic flavor.") | Food.kif 2349-2350 | Lemon fruit is a subclass of food for animal |
| (externalImage LemonFruit "http://articulatesoftware.com/SUMOpictures/food/ fruit/ lemon/ lemon.png") | pictureList.kif 553-553 | Lemon fruit is a subclass of food for animal |
| (externalImage LemonFruit "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Lemon_edit1.jpg") | pictureList.kif 863-863 | Lemon fruit is a subclass of food for animal |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X LemonFruit) (part ?S ?X) (instance ?S PeelOrRind)) (attribute ?S Yellow)) |
Food.kif 2352-2357 | If X is an instance of lemon fruit, Y is a part of X, and Y is an instance of peel or rind, then yellow is an attribute of Y |
|