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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InfectiousDisease
InfectiousDisease(infectious disease)
cross_infection, epidemic_disease, foot_rot, infection, infectious, infectious_disease, infective, listeria_meningitis, listeriosis, lower_respiratory_infection, nonsocial_infection, paronychia, protozoal_infection, respiratory_infection, respiratory_tract_infection, 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 6376-6377
(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 6375-6375 Infectious disease is a subclass of disease or syndrome

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


(instance Malaria InfectiousDisease) WMD.kif 1607-1607 Malaria is an instance of infectious disease
(range InfectionFn InfectiousDisease) Medicine.kif 1989-1989 The range of InfectionFn is an instance of infectious disease
(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 6371-6371 Bacterial disease is a subclass of infectious disease
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 1042-1042 Vaccinatable disease is a subclass of infectious disease
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 6496-6496 Viral disease is a subclass of infectious disease
(termFormat ChineseLanguage InfectiousDisease "传染病") domainEnglishFormat.kif 29999-29999 Viral disease is a subclass of infectious disease
(termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") domainEnglishFormat.kif 29998-29998 Viral disease is a subclass of infectious disease
(termFormat EnglishLanguage InfectiousDisease "infectious disease") domainEnglishFormat.kif 29997-29997 Viral disease is a subclass of infectious disease

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 6379-6388
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1362-1369

consequent
-------------------------


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1362-1369
(=>
    (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 5296-5306


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners