| Lime(lime)
|
| appearance as argument number 1 |
|
| (subclass Lime CitrusFruit) | Food.kif 2360-2360 | Lime is a subclass of citrus fruit |
| (externalImage Lime "http://articulatesoftware.com/SUMOpictures/food/fruit/ lime/ lime_4.png") | pictureList.kif 560-560 | Lime is a subclass of citrus fruit |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X Lime) (part ?S ?X) (instance ?S PeelOrRind)) (attribute ?S Green)) |
Food.kif 2362-2367 | If X is an instance of lime, Y is a part of X, and Y is an instance of peel or rind, then green is an attribute of Y |
|
|
|