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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VaccinatableDisease
VaccinatableDisease(vaccinatable disease)

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


s__documentation(s__VaccinatableDisease,s__EnglishLanguage,'"A disease for which there is an effective vaccine for Humans."')

WMD.kif 1028-1029
s__documentation(s__VaccinatableDisease,s__EnglishLanguage,'"A treatment that is effective in preventing a VaccinatableDisease."')

WMD.kif 1050-1051
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

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


s__instance(s__VaccinatableDisease,s__SetOrClass)

s__instance(s__Botulism,s__VaccinatableDisease)

WMD.kif 334-334 Botulism is an instance of vaccinatable disease
s__instance(s__Cholera,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1456-1456 Cholera is an instance of vaccinatable disease
s__instance(s__HepatitisA,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1726-1726 Hepatitis a is an instance of vaccinatable disease
s__instance(s__HepatitisB,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1738-1738 Hepatitis b is an instance of vaccinatable disease
s__instance(s__JapaneseEncephalitis,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1651-1651 Japanese encephalitis is an instance of vaccinatable disease
s__instance(s__Pertussis,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1516-1516 Pertussis is an instance of vaccinatable disease
s__instance(s__VaccinatableDisease,s__SetOrClass)

s__instance(s__Plague,s__VaccinatableDisease)

WMD.kif 407-407 Plague is an instance of vaccinatable disease
s__instance(s__VaccinatableDisease,s__SetOrClass)

s__instance(s__Tetanus,s__VaccinatableDisease)

WMD.kif 1468-1468 Tetanus is an instance of vaccinatable disease
s__instance(s__Tuberculosis,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1669-1669 Tuberculosis is an instance of vaccinatable disease
s__instance(s__Influenza,s__SetOrClass)

s__instance(s__VaccinatableDisease,s__SetOrClass)

s__subclass(s__Influenza,s__VaccinatableDisease)

WMD.kif 1418-1418 Influenza is a subclass of vaccinatable disease
s__instance(s__TickBorneEncephalitis,s__SetOrClass)

s__subclass(s__TickBorneEncephalitis,s__VaccinatableDisease)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1971-1971 Tick borne encephalitis is a subclass of vaccinatable disease
s__subclass(s__VenezuelanEquineEncephalitis,s__VaccinatableDisease)

s__instance(s__VenezuelanEquineEncephalitis,s__SetOrClass)

s__instance(s__VaccinatableDisease,s__SetOrClass)

WMD.kif 1379-1379 Venezuelan equine encephalitis is a subclass of vaccinatable disease
s__termFormat(s__ChineseLanguage,s__VaccinatableDisease,'"可预防的疾病"')

domainEnglishFormat.kif 61115-61115
s__termFormat(s__ChineseTraditionalLanguage,s__VaccinatableDisease,'"可預防的疾病"')

domainEnglishFormat.kif 61114-61114
s__termFormat(s__EnglishLanguage,s__VaccinatableDisease,'"vaccinatable disease"')

domainEnglishFormat.kif 61113-61113

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 1031-1047


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