| InfectiousDisease
| |
| appearance as argument number 1 |
|
|
| (documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.") | Mid-level-ontology.kif 6764-6765 | |
| (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 6763-6763 |
| 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 6759-6759 | |
| (subclass VaccinatableDisease InfectiousDisease) | WMD.kif 1042-1042 | |
| (subclass ViralDisease InfectiousDisease) | Mid-level-ontology.kif 6884-6884 | |
| (termFormat ChineseLanguage InfectiousDisease "传染病") | domainEnglishFormat.kif 29982-29982 | |
| (termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") | domainEnglishFormat.kif 29981-29981 | |
| (termFormat EnglishLanguage InfectiousDisease "infectious disease") | domainEnglishFormat.kif 29980-29980 |
| 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 6767-6776 | |
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1366-1373 |
| consequent |
|
|
| (=> (holdsDuring ?T (and (attribute ?H InfectiousDisease) (attribute ?H Diabetes) (attribute ?H (ImpairedBodyPartFn Foot)))) (holdsDuring ?T (diseaseMedicine InfectiousDisease Ertapenem Injecting))) |
Medicine.kif 1366-1373 | |
| (=> (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 5317-5327 |
|
|
|