| FungalDisease(fungal disease) | | blastomycosis, chromoblastomycosis, coccidioidomycosis, coccidiomycosis, cryptococcosis, desert_rheumatism, fungal_infection, mycosis, ringworm, roundworm, tinea, valley_fever |
| appearance as argument number 1 |
|
|
| (documentation FungalDisease EnglishLanguage "A disease caused by a Fungus.") | Mid-level-ontology.kif 6424-6425 | |
| (subclass FungalDisease DiseaseOrSyndrome) | Mid-level-ontology.kif 6423-6423 | Fungal disease is a subclass of disease or syndrome |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage FungalDisease "fungal disease") | Mid-level-ontology.kif 6426-6426 |
| antecedent |
|
|
| (=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus)))) |
Mid-level-ontology.kif 6428-6435 |
|
|
|
|