vaccine - Sigma Knowledge base Browser

appearance as argument number 1

(domainSubclass vaccine 1 Vaccine)	WMD.kif 1084-1084	The number 1 argument of vaccine is a subclass of vaccine
(domainSubclass vaccine 2 Virus)	WMD.kif 1085-1085	The number 2 argument of vaccine is a subclass of virus
(instance vaccine BinaryPredicate)	WMD.kif 1083-1083	vaccine is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage vaccine "%1 is a vaccine for %2")	WMD.kif 1087-1087
(termFormat EnglishLanguage vaccine "vaccine")	WMD.kif 1086-1086

antecedent

(=>
    (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 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

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

KB Term:			Term intersection

English Word: