| 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 | |
| (subclass Mushroom ReproductiveBody) | Food.kif 2690-2690 | Mushroom is a subclass of reproductive body |
| (subclass Mushroom FruitOrVegetable) | Food.kif 2691-2691 | Mushroom is a subclass of fruit or vegetable |
| (initialPart Mushroom Fungus) | Food.kif 2692-2692 | Every mushroom is initially part of a fungus |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?H Harvesting) (result ?H ?M) (instance ?M Mushroom)) (attribute ?M Produce)) |
Food.kif 2694-2699 | If X is an instance of harvesting, Y is a result of X, and Y is an instance of mushroom, then produce is an attribute of Y |
|
|
|