Vaccine - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 33371-33371	room temperature state vaccine and liquid
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1061-1061	Vaccine is a subclass of biologically active substance

appearance as argument number 2

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

WMD.kif 1064-1064

appearance as argument number 3

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

WMD.kif 1084-1084

The number 1 argument of vaccine is a subclass of vaccine

consequent

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1071-1081	If a process is an instance of vaccination and an agent experiences the process, then there exists the processAC such that the processAC is an instance of vaccine and holds during immediately after the time of existence of the process
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