vaccine - Sigma Knowledge base Browser

appearance as argument number 1

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
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1085-1085	The number 2 argument of vaccine is a subclass of virus
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1083-1083	vaccine is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1087-1087
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1086-1086

antecedent

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

WMD.kif 1089-1103

consequent

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

Medicine.kif 3179-3194

If a transfer is an instance of breakthrough case and the object transferred in the transfer is an object and the object is an instance of the objectC and an agent experiences the transfer,
then there exists the objectAX such that the objectAX is an instance of vaccination and the agent experiences the objectAX and the objectACCINECLASS is a vaccine for the objectC and the objectACCINE is an instance of the objectACCINECLASS and the object transferred in the objectAX is the objectACCINE and the time of existence of the objectAX happens earlier than the time of existence of the transfer