|
|
   OrangeFruit
|
|
|
| appearance as argument number 1 |
|
|
| (documentation OrangeFruit EnglishLanguage "A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor.") | Food.kif 2343-2344 | |
| (externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") | pictureList.kif 870-870 | |
| (externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ OrangeBloss_wb.jpg") | pictureList.kif 906-906 | |
| (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 | |
| (subclass OrangeFruit (FoodForFn Animal)) |
Food.kif 2342-2342 | OrangeFruit est une sous-classe de FoodForFn animal |
| (subclass OrangeFruit CitrusFruit) | Food.kif 2341-2341 | OrangeFruit est une sous-classe de CitrusFruit |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage OrangeFruit "橙色水果") | domainEnglishFormat.kif 42408-42408 | |
| (termFormat ChineseTraditionalLanguage OrangeFruit "橙色水果") | domainEnglishFormat.kif 42407-42407 | |
| (termFormat EnglishLanguage OrangeFruit "orange fruit") | domainEnglishFormat.kif 42406-42406 |
| antecedent |
|
|
| (=> (and (instance ?X OrangeFruit) (part ?S ?X) (instance ?S PeelOrRind)) (attribute ?S OrangeColor)) |
Food.kif 2346-2351 |
|
|
|
|
