| Fruit
|
| appearance as argument number 1 |
|
| (documentation Fruit EnglishLanguage "Fruits comes from the flowering &part of a FloweringPlant and contain Seeds. [Wikipedia]") | Food.kif 2183-2184 | |
| (externalImage Fruit "http://articulatesoftware.com/SUMOpictures/small_icons/ food/ fruit_3.png") | pictureList.kif 449-449 | |
| (subclass Fruit FruitOrVegetable) | Food.kif 2182-2182 |
| appearance as argument number 2 |
|
|
| (industryProductType FruitFarming Fruit) | Economy.kif 6591-6591 | |
| (initialPart Jam Fruit) | Food.kif 1760-1760 | |
| (subclass Apple Fruit) | Food.kif 2186-2186 | |
| (subclass Avocado Fruit) | Food.kif 2288-2288 | |
| (subclass Berry Fruit) | Food.kif 2205-2205 | |
| (subclass CitrusFruit Fruit) | Food.kif 2332-2332 | |
| (subclass DateFruit Fruit) | Food.kif 2195-2195 | |
| (subclass Grape Fruit) | Food.kif 2295-2295 | |
| (subclass Melon Fruit) | Food.kif 2297-2297 | |
| (subclass Olive Fruit) | Food.kif 2301-2301 | |
| (subclass Peach Fruit) | Food.kif 2765-2765 | |
| (subclass PearFruit Fruit) | Food.kif 2200-2200 | |
| (subclass Strawberry Fruit) | Food.kif 3488-3488 | |
| (subclass TamarindFruit Fruit) | Food.kif 3494-3494 | |
| (subclass Tomato Fruit) | Food.kif 2293-2293 | |
| (subclass TropicalFruit Fruit) | Food.kif 2371-2371 | |
| (subclass WineGrape Fruit) | Economy.kif 5070-5070 | |
| (termFormat ChineseLanguage Fruit "水果") | domainEnglishFormat.kif 25123-25123 | |
| (termFormat ChineseTraditionalLanguage Fruit "水果") | domainEnglishFormat.kif 25122-25122 | |
| (termFormat EnglishLanguage Fruit "fruit") | domainEnglishFormat.kif 25121-25121 |
| antecedent |
|
|
| (=> (and (equal ?O (OrganicObjectFn ?S)) (subclass ?O OilFromPlant) (or (subclass ?S Seed) (subclass ?S Fruit))) (exists (?P) (and (subclass ?P FloweringPlant) (initialPart ?S ?P)))) |
Economy.kif 4870-4881 | |
| (=> (and (subclass ?CLASS Fruit) (equal ?CLASS Cucumber)) (initialPart ?CLASS CucumberPlant)) |
Economy.kif 4560-4564 | |
| (=> (and (subclass ?CLASS Fruit) (equal ?CLASS Eggplant)) (initialPart ?CLASS EggplantPlant)) |
Economy.kif 4614-4618 |
| consequent |
|
|
| (=> (and (instance ?H Hulling) (patient ?H ?O)) (or (instance ?O Seed) (instance ?O Fruit))) |
Food.kif 174-180 | |
| (=> (instance ?J Jam) (exists (?B ?F ?S) (and (instance ?B Boiling) (patient ?B ?F) (instance ?F Fruit) (patient ?B ?S) (instance ?S Sugar) (result ?B ?J)))) |
Food.kif 1766-1775 | |
| (=> (instance ?S Schnapps) (exists (?D ?F) (and (instance ?D Distilling) (instance ?F Fruit) (resource ?D ?F) (result ?D ?S)))) |
Food.kif 3375-3382 | |
| (=> (instance ?S Sorbet) (material Fruit ?S)) |
Food.kif 3455-3457 |
|
|
|