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, 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
-------------------------


s__documentation(s__InfectiousDisease,s__EnglishLanguage,'"Any DiseaseOrSyndrome that is caused by a Microorganism."')

Mid-level-ontology.kif 5469-5470
s__externalImage(s__InfectiousDisease,'"http://upload.wikimedia.org/wikipedia/ commons/ d/ d7/ CulexNil.jpg"')

pictureList.kif 7110-7110
s__externalImage(s__InfectiousDisease,'"http://upload.wikimedia.org/wikipedia/ commons/ e/ ea/ 4microssopes4.jpg"')

pictureList.kif 7111-7111
s__externalImage(s__InfectiousDisease,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ fd/ Mallon-Mary_01.jpg"')

pictureList.kif 7112-7112
s__externalImage(s__InfectiousDisease,'"http://upload.wikimedia.org/wikipedia/ en/ b/ b8/ K_pneumoniae_M_morganii_providencia_styphimuriuma.JPG"')

pictureList.kif 7113-7113
s__subclass(s__InfectiousDisease,s__DiseaseOrSyndrome)

s__instance(s__DiseaseOrSyndrome,s__SetOrClass)

s__instance(s__InfectiousDisease,s__SetOrClass)

Mid-level-ontology.kif 5468-5468 Infectious disease is a subclass of disease or syndrome

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


s__instance(s__InfectiousDisease,s__SetOrClass)

s__instance(s__Malaria,s__InfectiousDisease)

WMD.kif 1545-1545 Malaria is an instance of infectious disease
s__instance(s__InfectiousDisease,s__SetOrClass)

s__instance(s__BacterialDisease,s__SetOrClass)

s__subclass(s__BacterialDisease,s__InfectiousDisease)

Mid-level-ontology.kif 5464-5464 Bacterial disease is a subclass of infectious disease
s__subclass(s__VaccinatableDisease,s__InfectiousDisease)

s__instance(s__InfectiousDisease,s__SetOrClass)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1027-1027 Vaccinatable disease is a subclass of infectious disease
s__instance(s__InfectiousDisease,s__SetOrClass)

s__instance(s__ViralDisease,s__SetOrClass)

s__subclass(s__ViralDisease,s__InfectiousDisease)

Mid-level-ontology.kif 5589-5589 Viral disease is a subclass of infectious disease
s__termFormat(s__ChineseLanguage,s__InfectiousDisease,'"传染病"')

domainEnglishFormat.kif 29958-29958
s__termFormat(s__ChineseTraditionalLanguage,s__InfectiousDisease,'"傳染病"')

domainEnglishFormat.kif 29957-29957
s__termFormat(s__EnglishLanguage,s__InfectiousDisease,'"infectious disease"')

domainEnglishFormat.kif 29956-29956

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


( ! [V__O,V__A,V__I] :
   (((s__instance(V__O,s__Agent) &
         s__instance(V__A,s__Agent))
       =>
       (((s__instance(V__I,s__InfectiousDisease) &
             s__attribute(V__A,V__I))
         =>
         (( ? [V__P] :
             ((s__instance(V__P,s__PathologicProcess) &
                 s__agent(V__P,V__O)
               &
               s__instance(V__O,s__Microorganism) &
               s__experiencer(V__P,V__A))))))))
)
)

Mid-level-ontology.kif 5472-5481


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