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

(documentation Vaccination EnglishLanguage "Administering a Vaccine.")	WMD.kif 1068-1068
(subclass Vaccination TherapeuticProcess)	WMD.kif 1066-1066	Vaccination is a subclass of therapeutic process
(subclass Vaccination Translocation)	WMD.kif 1067-1067	Vaccination is a subclass of translocation

appearance as argument number 2

(termFormat EnglishLanguage Vaccination "vaccination")

WMD.kif 1069-1069

antecedent

(=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (exists (?VAC) (and (instance ?VAC Vaccine) (holdsDuring (ImmediateFutureFn (WhenFn ?V) (contains ?H ?VAC))))))	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
(=> (and (vaccine ?VAC ?VIR) (instance ?V Vaccination) (experiencer ?V ?H) (instance ?VACI ?VAC) (objectTransferred ?V ?VACI)) (hasPurpose ?VACI (not (exists (?I ?VIRI) (and (instance ?I Infecting) (experiencer ?I ?H) (instance ?VIRI ?VIR) (objectTransferred ?I ?VIRI))))))	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

(=> (and (instance ?BI BreakthroughInfection) (objectTransferred ?BI ?V) (instance ?V ?VC) (experiencer ?BI ?H)) (exists (?VAX) (and (instance ?VAX Vaccination) (experiencer ?VAX ?H) (vaccine ?VACCINECLASS ?VC) (instance ?VACCINE ?VACCINECLASS) (objectTransferred ?VAX ?VACCINE) (earlier (WhenFn ?VAX) (WhenFn ?BI)))))	Medicine.kif 3167-3182	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
(=> (holdsDuring ?T (attribute ?H Antivaxxer)) (believes ?H (exists (?V ?D) (and (instance ?V Vaccination) (instance ?D Damaging) (causes ?V ?D)))))	Medicine.kif 3809-3817	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
(=> (instance ?VC VaccinationCard) (exists (?V) (and (instance ?V Vaccination) (refers ?VC ?V))))	Medicine.kif 3097-3102	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
(=> (member ?X AntiVaxxer) (believes ?X (=> (and (instance ?V Vaccination) (experiencer ?V ?H)) (suffers ?V ?H))))	Medicine.kif 3049-3056	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