|
|
   Fungus
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Fungus ChineseLanguage "这是一种特征为没有叶绿素，但却具有坚固细胞壁的真核 Organism。这同时包括粘液霉和真菌类，如酵母、黴菌、霉俊和蘑菇。") | chinese_format.kif 3386-3387 | |
| (documentation Fungus EnglishLanguage "A eukaryotic Organism characterized by the absence of chlorophyll and the presence of rigid cell walls. Included here are both slime molds and true fungi such as yeasts, molds, mildews, and mushrooms.") | Merge.kif 14285-14288 | |
| (subclass Fungus Organism) | Merge.kif 14284-14284 |
| appearance as argument number 2 |
|
|
| (initialPart Mushroom Fungus) | Food.kif 660-660 | |
| (subclass FungalAgent Fungus) | WMD.kif 214-214 | |
| (termFormat ChineseLanguage Fungus "菌类") | chinese_format.kif 969-969 | |
| (termFormat EnglishLanguage Fungus "fungus") | english_format.kif 1145-1145 |
| appearance as argument number 4 |
|
|
| (partition Organism Animal Plant Fungus Microorganism) | Merge.kif 14216-14216 |
| antecedent |
|
|
| (=> (and (instance ?FUNGUS Fungus) (inhabits ?FUNGUS ?OBJ)) (instance ?OBJ Organism)) |
Merge.kif 14290-14294 |
| consequent |
|
|
| (=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus)))) |
Mid-level-ontology.kif 5839-5846 | |
| (=> (instance ?LICH Lichen) (exists (?FUNG) (and (instance ?FUNG Fungus) (part ?FUNG ?LICH)))) |
Geography.kif 6238-6243 |
|
|
|