TreeView Knowledge Base Browser

appearance as argument number 1

(instance Antivaxxer SocialRole)	Medicine.kif 3849-3849	Anti-vaxxer is an instance of social role
(documentation Antivaxxer EnglishLanguage "Someone who believes that some or all medically-approved vaccines are, on balance, harmful.")	Medicine.kif 3850-3851	Anti-vaxxer is an instance of social role

appearance as argument number 2

(termFormat EnglishLanguage Antivaxxer "antivaxxer")	Medicine.kif 3852-3852
(termFormat EnglishLanguage Antivaxxer "anti-vaxxer")	Medicine.kif 3853-3853

antecedent

(=>
    (holdsDuring ?T
        (attribute ?H Antivaxxer))
    (believes ?H
        (exists (?V ?D)
            (and
                (instance ?V Vaccination)
                (instance ?D Damaging)
                (causes ?V ?D)))))

If anti-vaxxer is an attribute of X holds during Y, then X believes there exist Z, W such that Z is an instance of vaccination, W is an instance of damaging, and Z causes W