FungalDisease
|
|
appearance as argument number 1 |
(documentation FungalDisease EnglishLanguage "A disease caused by a Fungus.") | Mid-level-ontology.kif 5869-5870 | |
(subclass FungalDisease DiseaseOrSyndrome) | Mid-level-ontology.kif 5868-5868 | FungalDisease 是 疾病或综合症 的 subclass |
appearance as argument number 2 |
(termFormat EnglishLanguage FungalDisease "fungal disease") | Mid-level-ontology.kif 5871-5871 |
antecedent |
(=> (and (instance ?F FungalDisease) (attribute ?H ?F)) (exists (?FUN) (and (part ?FUN ?H) (instance ?FUN Fungus)))) |
Mid-level-ontology.kif 5873-5880 |