TreeView Knowledge Base Browser

appearance as argument number 1

(domainSubclass vaccine 1 Vaccine)	WMD.kif 1084-1084	O argumento numero 1 de vaccine e' uma sub-classe de Vaccine
(domainSubclass vaccine 2 Virus)	WMD.kif 1085-1085	O argumento numero 2 de vaccine e' uma sub-classe de Virus
(instance vaccine BinaryPredicate)	WMD.kif 1083-1083	vaccine e' uma instancia de Predicado Binario

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

vaccine Vaccine and Virus Transferencia e' uma instancia de Vaccination AutonomousAgent experimenta Transferencia VaccineI e' uma instancia de Vaccine objectTransferred Transferencia and VaccineI
VaccineI tem por fim Entidade VirusI Entidade e' uma instancia de Infecting AutonomousAgent experimenta Entidade VirusI e' uma instancia de Virus objectTransferred Entidade and 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

Transferencia e' uma instancia de BreakthroughInfection objectTransferred Transferencia and Objeto Objeto e' uma instancia de ObjetoC AutonomousAgent experimenta Transferencia
ObjetoAX ObjetoAX e' uma instancia de Vaccination AutonomousAgent experimenta ObjetoAX vaccine ObjetoACCINECLASS and ObjetoC ObjetoACCINE e' uma instancia de ObjetoACCINECLASS objectTransferred ObjetoAX and ObjetoACCINE tempo de existencia de ObjetoAX acontence antes de tempo de existencia de Transferencia

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

KB Term:			Term intersection

English Word: