Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass InfectiousDisease DiseaseOrSyndrome) Mid-level-ontology.kif 6945-6945 Infectious disease is a subclass of disease or syndrome
(documentation InfectiousDisease EnglishLanguage "Any DiseaseOrSyndrome that is caused by a Microorganism.") Mid-level-ontology.kif 6946-6947 Infectious disease is a subclass of disease or syndrome
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg") pictureList.kif 7108-7108 Infectious disease is a subclass of disease or syndrome
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg") pictureList.kif 7109-7109 Infectious disease is a subclass of disease or syndrome
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon_Mary_01.jpg") pictureList.kif 7110-7110 Infectious disease is a subclass of disease or syndrome
(externalImage InfectiousDisease "http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG") pictureList.kif 7111-7111 Infectious disease is a subclass of disease or syndrome

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


(subclass BacterialDisease InfectiousDisease) Mid-level-ontology.kif 6941-6941 Bacterial disease is a subclass of infectious disease
(subclass ViralDisease InfectiousDisease) Mid-level-ontology.kif 7066-7066 Viral disease is a subclass of infectious disease
(range InfectionFn InfectiousDisease) Medicine.kif 1992-1992 The range of infection is an instance of infectious disease
(subclass VaccinatableDisease InfectiousDisease) WMD.kif 1038-1038 Vaccinatable disease is a subclass of infectious disease
(instance Malaria InfectiousDisease) WMD.kif 1603-1603 Malaria is an instance of infectious disease
(termFormat EnglishLanguage InfectiousDisease "infectious disease") domainEnglishFormat.kif 29973-29973 Malaria is an instance of infectious disease
(termFormat ChineseTraditionalLanguage InfectiousDisease "傳染病") domainEnglishFormat.kif 29974-29974 Malaria is an instance of infectious disease
(termFormat ChineseLanguage InfectiousDisease "传染病") domainEnglishFormat.kif 29975-29975 Malaria is an instance 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 6949-6958 If X is an instance of infectious disease and X is an attribute of Y, then there exist Z, W such that Z is an instance of pathologic process, W is an agent of Z, W is an instance of microorganism, and Y experiences Z
(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1357-1364 If infectious disease is an attribute of X, diabetes mellitus is an attribute of X, and impaired body part fn foot is an attribute of X holds during Y, then infectious disease is disease treatment ertapenem for injecting holds during Y

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


(=>
    (holdsDuring ?T
        (and
            (attribute ?H InfectiousDisease)
            (attribute ?H Diabetes)
            (attribute ?H
                (ImpairedBodyPartFn Foot))))
    (holdsDuring ?T
        (diseaseMedicine InfectiousDisease Ertapenem Injecting)))		 Medicine.kif 1357-1364 If infectious disease is an attribute of X, diabetes mellitus is an attribute of X, and impaired body part fn foot is an attribute of X holds during Y, then infectious disease is disease treatment ertapenem for injecting holds during Y
(=>
    (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 5330-5340 If reinfection is an attribute of X holds during Y, then Z is an instance of infectious disease and Z is an attribute of X holds during Y, Z is an attribute of X holds during W, and W happens earlier than Y


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners