VaccinatableDisease - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1043-1044
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1062-1063
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1042-1042	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 1486-1486	Cholera is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1787-1787	Hepatitis a is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1799-1799	Hepatitis b is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1712-1712	Japanese encephalitis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1578-1578	Pertussis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 412-412	Plague is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1498-1498	Tetanus is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1730-1730	Tuberculosis is an instance of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1448-1448	Influenza is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 2037-2037	Tick borne encephalitis is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1409-1409	Venezuelan equine encephalitis is a subclass of vaccinatable disease
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61148-61148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61147-61147
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 61146-61146

antecedent

No TPTP formula. May not be expressible in strict first order.

WMD.kif 1046-1059

If an entity is an instance of vaccinatable disease,
then there exist another entity, a third entity and a process such that the other entity is an instance of vaccine and the process is an instance of putting and the process ends up at the third entity and the third entity is an instance of human and the statement the entity is not an attribute of the third entity holds during after the time of existence of the process has the modal force of likely

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

KB Term:			Term intersection

English Word: