|
|
   TropicalFruit
|
|
|
| appearance as argument number 1 |
|
|
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0b/ Carica_papaya_-_papaya_-_var-tropical_dwarf_papaya_-_desc-fruit.jpg") | pictureList.kif 1463-1463 | |
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ 1/ 17/ Pineapple1.JPG") | pictureList.kif 3256-3256 | |
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ a/ af/ Fruit_Stall_in_Barcelona_Market.jpg") | pictureList.kif 3022-3022 | |
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ c/ ce/ Madarines_white_bg.jpg") | pictureList.kif 3258-3258 | |
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/commons/ e/ e4/ Luxor%2C_Banana_Island%2C_Banana_Tree%2C_Egypt%2C_Oct_2004.jpg") | pictureList.kif 3254-3254 | |
| (externalImage TropicalFruit "http://upload.wikimedia.org/wikipedia/en/7/ 78/ CoconutMandari.JPG") | pictureList.kif 3255-3255 | |
| (subclass TropicalFruit Fruit) | Economy.kif 4049-4049 |
| appearance as argument number 2 |
|
|
| (subclass Avocado TropicalFruit) | Economy.kif 4056-4056 | |
| (subclass Banana TropicalFruit) | Economy.kif 4063-4063 | |
| (subclass Breadfruit TropicalFruit) | Economy.kif 4070-4070 | |
| (subclass Coconut TropicalFruit) | Economy.kif 4077-4077 | |
| (subclass DateFruit TropicalFruit) | Economy.kif 4084-4084 | |
| (subclass Mango TropicalFruit) | Economy.kif 4091-4091 | |
| (subclass Papaw TropicalFruit) | Economy.kif 4098-4098 | |
| (subclass Papaya TropicalFruit) | Economy.kif 4108-4108 | |
| (subclass PassionFruit TropicalFruit) | Economy.kif 4115-4115 | |
| (subclass Pineapple TropicalFruit) | Economy.kif 4122-4122 | |
| (subclass Plantain TropicalFruit) | Economy.kif 4129-4129 | |
| (termFormat ChineseLanguage TropicalFruit "热带水果") | domainEnglishFormat.kif 59219-59219 | |
| (termFormat ChineseTraditionalLanguage TropicalFruit "熱帶水果") | domainEnglishFormat.kif 59218-59218 | |
| (termFormat EnglishLanguage TropicalFruit "tropical fruit") | domainEnglishFormat.kif 59217-59217 |
| antecedent |
|
|
| (=> (equal ?C (DeadFn TropicalFruit)) (subclass ?C GroceryProduce)) |
Economy.kif 4051-4054 |
|
|
|
