TreeView Knowledge Base Browser

appearance as argument number 1

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

appearance as argument number 2

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

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

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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: