BreakthroughInfection - Sigma Knowledge base Browser

appearance as argument number 1

(documentation BreakthroughInfection EnglishLanguage "An case of a disease Infecting someone who is already had Vaccination against the disease.")	Medicine.kif 3175-3177
(subclass BreakthroughInfection Infecting)	Medicine.kif 3172-3172	Breakthrough case is a subclass of infecting

appearance as argument number 2

(termFormat EnglishLanguage BreakthroughInfection "breakthrough case")	Medicine.kif 3174-3174
(termFormat EnglishLanguage BreakthroughInfection "breakthrough infection")	Medicine.kif 3173-3173

antecedent

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