| InfectiousDisease
| |
| appearance as argument number 1 |
|
|
| (documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.") | Mid-level-ontology.kif 5799-5800 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg") | pictureList.kif 7109-7109 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg") | pictureList.kif 7110-7110 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon-Mary_01.jpg") | pictureList.kif 7111-7111 | |
| (externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG") | pictureList.kif 7112-7112 | |
| (subclass InfectiousDisease DiseaseOrSyndrome) | Mid-level-ontology.kif 5798-5798 |
| 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 5794-5794 | |
| (subclass VaccinatableDisease InfectiousDisease) | WMD.kif 1042-1042 | |
| (subclass ViralDisease InfectiousDisease) | Mid-level-ontology.kif 5919-5919 | |
| (termFormat ChineseLanguage InfectiousDisease "传染病") | domainEnglishFormat.kif 29977-29977 | |
| (termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") | domainEnglishFormat.kif 29976-29976 | |
| (termFormat EnglishLanguage InfectiousDisease "infectious disease") | domainEnglishFormat.kif 29975-29975 |
| 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 5802-5811 | |
| (=> (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 |
|
|
|