| InfectiousDisease
| |
| appearance as argument number 1 |
|
|
| (documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.") | Mid-level-ontology.kif 5821-5822 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg") | pictureList.kif 7108-7108 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg") | pictureList.kif 7109-7109 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon-Mary_01.jpg") | pictureList.kif 7110-7110 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG") | pictureList.kif 7111-7111 | |
| (subclass InfectiousDisease DiseaseOrSyndrome) | Mid-level-ontology.kif 5820-5820 |
| appearance as argument number 2 |
|
|
| (instance Malaria InfectiousDisease) | WMD.kif 1607-1607 | |
| (range InfectionFn InfectiousDisease) | Medicine.kif 2001-2001 | |
| (subclass BacterialDisease InfectiousDisease) | Mid-level-ontology.kif 5816-5816 | |
| (subclass VaccinatableDisease InfectiousDisease) | WMD.kif 1042-1042 | |
| (subclass ViralDisease InfectiousDisease) | Mid-level-ontology.kif 5941-5941 | |
| (termFormat ChineseLanguage InfectiousDisease "传染病") | domainEnglishFormat.kif 30000-30000 | |
| (termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") | domainEnglishFormat.kif 29999-29999 | |
| (termFormat EnglishLanguage InfectiousDisease "infectious disease") | domainEnglishFormat.kif 29998-29998 |
| antecedent |
|
|
| (=> (and (instance ?I InfectiousDisease) (attribute ?A ?I)) (exists (?P ?O) (and (instance ?P PathologicProcess) (agent ?P ?O) (instance ?O Microorganism) (experiencer ?P ?A)))) |
Mid-level-ontology.kif 5824-5833 | |
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1374-1381 |
| consequent |
|
|
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1374-1381 | |
| (=> (holdsDuring ?T (attribute ?H Reinfection)) (and (holdsDuring ?T (and (instance ?D InfectiousDisease) (attribute ?H ?D))) (holdsDuring ?TEARLY (attribute ?H ?D)) (earlier ?TEARLY ?T))) |
Medicine.kif 5308-5318 |
|
|
|