Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
OrangeFruit(orange fruit)
|  | Jaffa_orange, Seville_orange, Valencia_orange, bitter_orange, clementine, mandarin, mandarin_orange, navel_orange, orange, satsuma, sour_orange, sweet_orange, tangerine, temple_orange |
| appearance as argument number 1 |
|
|
| (subclass OrangeFruit CitrusFruit) | Food.kif 2361-2361 | Orange fruit is a subclass of citrus fruit |
| (subclass OrangeFruit (FoodForFn Animal)) |
Food.kif 2362-2362 | Orange fruit is a subclass of food for animal |
| (documentation OrangeFruit EnglishLanguage "A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor.") | Food.kif 2363-2364 | Orange fruit is a subclass of food for animal |
| (externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") | pictureList.kif 870-870 | Orange fruit is a subclass of food for animal |
| (externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ OrangeBloss_wb.jpg") | pictureList.kif 906-906 | Orange fruit is a subclass of food for animal |
| (externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5a/ Oranges_and_orange_juice.jpg/ 393px_Oranges_and_orange_juice.jpg") | pictureList.kif 933-933 | Orange fruit is a subclass of food for animal |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?X OrangeFruit) (part ?S ?X) (instance ?S PeelOrRind)) (attribute ?S OrangeColor)) |
Food.kif 2366-2371 | If X is an instance of orange fruit, Y is a part of X, and Y is an instance of peel or rind, then orange color is an attribute of Y |
|