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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - VaccinatableDisease
VaccinatableDisease(vaccinatable disease)vaccinatable_disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 986-987
No TPTP formula. May not be expressible in strict first order. WMD.kif 985-985 Vaccinatable disease is a subclass of infectious disease

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 334-334 Botulism is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1372-1372 Cholera is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1636-1636 Hepatitis a is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1648-1648 Hepatitis b is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1561-1561 Japanese encephalitis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1426-1426 Pertussis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 407-407 Plague is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1384-1384 Tetanus is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1579-1579 Tuberculosis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1334-1334 Influenza is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1837-1837 Tick borne encephalitis is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. WMD.kif 1295-1295 Venezuelan equine encephalitis is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 10620-10620 "vaccinatable disease" is the printable form of vaccinatable disease in english language

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


No TPTP formula. May not be expressible in strict first order. WMD.kif 989-999


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners