Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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
-------------------------


(subclass Vaccination TherapeuticProcess) WMD.kif 1062-1062 Vaccination is a subclass of therapeutic process
(subclass Vaccination Translocation) WMD.kif 1063-1063 Vaccination is a subclass of translocation
(documentation Vaccination EnglishLanguage "Administering a Vaccine.") WMD.kif 1064-1064 Vaccination is a subclass of translocation

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Vaccination "vaccination") WMD.kif 1065-1065

antecedent
-------------------------


(=>
    (and
        (instance ?V Vaccination)
        (experiencer ?V ?H))
    (exists (?VAC)
        (and
            (instance ?VAC Vaccine)
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?V))
                (contains ?H ?VAC)))))		 WMD.kif 1067-1077 If X is an instance of vaccination and Y experiences X, then there exists Z such that Z is an instance of vaccine and Y contains Z holds during immediately after the time of existence of X
(=>
    (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 1085-1099 If X is a vaccine for Y, Z is an instance of vaccination, W experiences Z, V is an instance of X, and the object transferred in Z is V, then V has the purpose there don't exist U, T such that U is an instance of infecting, W experiences U, T is an instance of Y, and the object transferred in U is T

consequent
-------------------------


(=>
    (member ?X AntiVaxxer)
    (believes ?X
        (=>
            (and
                (instance ?V Vaccination)
                (experiencer ?V ?H))
            (suffers ?V ?H))))		 Medicine.kif 3067-3074 If X is a member of anti-vaxxer, then X believes Y is an instance of vaccination and Z experiences YZ suffers from Y
(=>
    (instance ?VC VaccinationCard)
    (exists (?V)
        (and
            (instance ?V Vaccination)
            (refers ?VC ?V))))		 Medicine.kif 3115-3120 If X is an instance of VaccinationCard, then there exists Y such that Y is an instance of vaccination and X includes a reference to Y
(=>
    (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 3189-3204 If X is an instance of breakthrough case, the object transferred in X is Y, Y is an instance of Z, and W experiences X, then there exists V such that V is an instance of vaccination, W experiences V, U is a vaccine for Z, T is an instance of U, the object transferred in V is T, and the time of existence of V happens earlier than the time of existence of X
(=>
    (holdsDuring ?T
        (attribute ?H Antivaxxer))
    (believes ?H
        (exists (?V ?D)
            (and
                (instance ?V Vaccination)
                (instance ?D Damaging)
                (causes ?V ?D)))))		 Medicine.kif 3855-3863 If anti-vaxxer is an attribute of X holds during Y, then X believes there exist Z, W such that Z is an instance of vaccination, W is an instance of damaging, and Z causes W


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners