SpringElement
|
|
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 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 5820-5820 | InfectiousDisease e' uma sub-classe de Doenca ou Sindrome |
appearance as argument number 2 |
(instance Malaria InfectiousDisease) | WMD.kif 1607-1607 | Malaria e' uma instancia de InfectiousDisease |
(range InfectionFn InfectiousDisease) | Medicine.kif 2001-2001 | O contra-dominio de InfectionFn e' uma instancia de InfectiousDisease |
(subclass BacterialDisease InfectiousDisease) | Mid-level-ontology.kif 5816-5816 | BacterialDisease e' uma sub-classe de InfectiousDisease |
(subclass VaccinatableDisease InfectiousDisease) | WMD.kif 1042-1042 | VaccinatableDisease e' uma sub-classe de InfectiousDisease |
(subclass ViralDisease InfectiousDisease) | Mid-level-ontology.kif 5941-5941 | ViralDisease e' uma sub-classe de InfectiousDisease |
(termFormat ChineseLanguage InfectiousDisease "传染病") | domainEnglishFormat.kif 29971-29971 | |
(termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") | domainEnglishFormat.kif 29970-29970 | |
(termFormat EnglishLanguage InfectiousDisease "infectious disease") | domainEnglishFormat.kif 29969-29969 |
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 |