Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Mushroom
Mushroom(mushroom)Agaricaceae, Agaricales, Agaricus_arvensis, Agaricus_campestris, Amanita_caesarea, Amanita_rubescens, Caesar's_agaric, Cantharellus_cibarius, Cantharellus_cinnabarinus, Chinese_black_mushroom, Chinese_mushroom, Clavicipitaceae, Coprinus_atramentarius, Coprinus_comatus, Fischer's_slime_mushroom, Flammulina_velutipes, Lactarius_delicioso, Lentinus_edodes, Lepiota_procera, Marasmius, Marasmius_oreades, Oriental_black_mushroom, Pholiota_nameko, Pleurotus, Pleurotus_ostreatus, Pleurotus_phosphoreus, Pluteus, Pluteus_cervinus, Pluteus_magnus, Tricholoma_populinum, Volvariella, Volvariella_bombycina, Volvariella_volvacea, blusher, blushing_mushroom, chantarelle, chanterelle, cinnabar_chanterelle, deer_mushroom, fairy-ring_mushroom, family_Agaricaceae, field_mushroom, genus_Lepiota, genus_Marasmius, genus_Pleurotus, genus_Pluteus, genus_Volvariella, golden_oak_mushroom, grainy_club, grainy_club_mushrooms...

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 2704-2710
(subclass Mushroom ReproductiveBody) Food.kif 2711-2711 Mushroom is a subclass of reproductive body
(subclass Mushroom FruitOrVegetable) Food.kif 2712-2712 Mushroom is a subclass of fruit or vegetable
(initialPart Mushroom Fungus) Food.kif 2713-2713 Every mushroom is initially part of a fungus

appearance as argument number 2
-------------------------


(subclass PortabelloMushroom Mushroom) Food.kif 2840-2840 Portabello mushroom is a subclass of mushroom
(termFormat EnglishLanguage Mushroom "mushroom") domainEnglishFormat.kif 65216-65216 Portabello mushroom is a subclass of mushroom

antecedent
-------------------------


(=>
    (and
        (instance ?H Harvesting)
        (result ?H ?M)
        (instance ?M Mushroom))
    (attribute ?M Produce))		 Food.kif 2715-2720 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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners