| appearance as argument number 1 |
|
|
| (documentation Mushroom EnglishLanguage "A mushroom is the fleshy, spore_bearing fruiting body of a fungus, typically produced above ground on soil or on its food source. Like all fungi, mushrooms are not plants and do not undergo photosynthesis. The standard for the name 'mushroom' is the cultivated white button mushroom, Agaricus bisporus; hence the word 'mushroom' is most often applied to those fungi (Basidiomycota, Agaricomycetes) that have a stem (stipe), a cap (pileus), and gills (lamellae, sing. lamella) or pores on the underside of the cap. [Wikipedia]") | Food.kif 2683-2689 | |
| (initialPart Mushroom Fungus) | Food.kif 2692-2692 | Every mushroom is initially part of a fungus |
| (subclass Mushroom FruitOrVegetable) | Food.kif 2691-2691 | Mushroom is a subclass of fruit or vegetable |
| (subclass Mushroom ReproductiveBody) | Food.kif 2690-2690 | Mushroom is a subclass of reproductive body |
| appearance as argument number 2 |
|
|
| (subclass PortabelloMushroom Mushroom) | Food.kif 2818-2818 | Portabello mushroom is a subclass of mushroom |
| (termFormat EnglishLanguage Mushroom "mushroom") | domainEnglishFormat.kif 65236-65236 | Portabello mushroom is a subclass of mushroom |
| antecedent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2694-2699 |
|
|
|
|