| 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 2676-2682 | |
| (initialPart Mushroom Fungus) | Food.kif 2685-2685 | Every mushroom is initially part of a fungus |
| (subclass Mushroom FruitOrVegetable) | Food.kif 2684-2684 | Mushroom is a subclass of fruit or vegetable |
| (subclass Mushroom ReproductiveBody) | Food.kif 2683-2683 | Mushroom is a subclass of reproductive body |
| appearance as argument number 2 |
|
|
| (subclass PortabelloMushroom Mushroom) | Food.kif 2811-2811 | Portabello mushroom is a subclass of mushroom |
| (termFormat EnglishLanguage Mushroom "mushroom") | domainEnglishFormat.kif 65261-65261 | Portabello mushroom is a subclass of mushroom |
| antecedent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2687-2692 |
|
|
|
|