Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  InfectiousDisease

Sigma KEE - InfectiousDisease
InfectiousDisease(infectious disease)
cross_infection, epidemic_disease, foot_rot, hookworm, hookworm_disease, infection, infectious, infectious_disease, infective, listeria_meningitis, listeriosis, lower_respiratory_infection, nonsocial_infection, paronychia, protozoal_infection, respiratory_infection, respiratory_tract_infection, tapeworm_infection, toxoplasmosis, upper_respiratory_infection, viral_infection, virus_infection

appearance as argument number 1
-------------------------


(documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.") Mid-level-ontology.kif 5981-5982
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg") pictureList.kif 7111-7111 "http://upload.wikimedia.org/wikipedia/commons/d/d7/ CulexNil.jpg" is a URL depicting infectious disease
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg") pictureList.kif 7112-7112 "http://upload.wikimedia.org/wikipedia/commons/e/ea/ 4microssopes4.jpg" is a URL depicting infectious disease
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon-Mary_01.jpg") pictureList.kif 7113-7113 "http://upload.wikimedia.org/wikipedia/commons/f/fd/ Mallon-Mary_01.jpg" is a URL depicting infectious disease
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG") pictureList.kif 7114-7114 "http://upload.wikimedia.org/wikipedia/en/b/b8/K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG" is a URL depicting infectious disease
(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 5980-5980 Infectious disease is a subclass of disease or syndrome

appearance as argument number 2
-------------------------


(instance Malaria InfectiousDisease) WMD.kif 1455-1455 Malaria is an instance of infectious disease
(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 5976-5976 Bacterial disease is a subclass of infectious disease
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 985-985 Vaccinatable disease is a subclass of infectious disease
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 6013-6013 Viral disease is a subclass of infectious disease
(termFormat EnglishLanguage InfectiousDisease "infectious disease") domainEnglishFormat.kif 5412-5412 "infectious disease" is the printable form of infectious disease in english language

antecedent
-------------------------


(=>
    (and
        (instance ?I InfectiousDisease)
        (attribute ?A ?I))
    (exists (?P)
        (and
            (instance ?P PathologicProcess)
            (agent ?P ?O)
            (instance ?O Microorganism)
            (experiencer ?P ?A))))
Mid-level-ontology.kif 5984-5993


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners