Vaccination - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Vaccination

Vaccination(vaccination)

immunise, immunize, inoculate, inoculation, vaccinate, vaccination

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	WMD.kif 1068-1068
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1066-1066	Vaccination is a subclass of therapeutic process
No TPTP formula. May not be expressible in strict first order.	WMD.kif 1067-1067	Vaccination is a subclass of translocation

appearance as argument number 2

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

WMD.kif 1069-1069

antecedent

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 1089-1103	If a kind of vaccine is a vaccine for a kind of virus and a transfer is an instance of vaccination and an agent experiences the transfer and a kind of vaccineI is an instance of the kind of vaccine and the object transferred in the transfer is the kind of vaccineI, then the kind of vaccineI has the purpose there don't exist an entity and a kind of virusI such that the entity is an instance of infecting and the agent experiences the entity and the kind of virusI is an instance of the kind of virus and the object transferred in the entity is the kind of virusI

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
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3821-3829	If anti-vaxxer is an attribute of a cognitive agent holds during a time position, then the cognitive agent believes there exist an entity and another entity such that the entity is an instance of vaccination and the other entity is an instance of damaging and the entity causes the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3109-3114	If an entity is an instance of VaccinationCard, then there exists another entity such that the other entity is an instance of vaccination and the entity includes a reference to the other entity
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 3061-3068	If a cognitive agent is a member of anti-vaxxer, then the cognitive agent believes if an entity is an instance of vaccination and another entity experiences the entity, then the other entity suffers from the entity

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