Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BreakthroughInfection
BreakthroughInfection(breakthrough case)

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


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