ViralDisease |
appearance as argument number 1 |
(documentation ViralDisease EnglishLanguage "A disease that is caused by instances of a Virus.") | Mid-level-ontology.kif 5942-5943 | |
(subclass ViralDisease InfectiousDisease) | Mid-level-ontology.kif 5941-5941 | ViralDisease è una sottoclasse di InfectiousDisease |
appearance as argument number 2 |
antecedent |
(=> (instance ?DISEASE ViralDisease) (exists (?PROCESS) (not (diseaseMedicine ?DISEASE Antibiotic ?PROCESS)))) |
WMD.kif 1278-1282 |
consequent |
(=> (and (instance ?AVM AntiViralMedicine) (instance ?AVM ?CLASS)) (exists (?D) (and (instance ?D ViralDisease) (medicine ?CLASS ?D)))) |
VirusProteinAndCellPart.kif 1259-1266 |
|
(=> (and (instance ?VIRUS ViralAgent) (instance ?VIRUS ?CLASS) (biochemicalAgentSyndrome ?CLASS ?SYNDROME)) (instance ?SYNDROME ViralDisease)) |
WMD.kif 1131-1136 |
|