TreeView Knowledge Base Browser - pathologyCandidate

appearance as argument number 1

(domain pathologyCandidate 1 Human)	Medicine.kif 1948-1948
(domainSubclass pathologyCandidate 2 PathologicProcess)	Medicine.kif 1949-1949
(instance pathologyCandidate BinaryPredicate)	Medicine.kif 1947-1947

appearance as argument number 2

(format EnglishLanguage pathologyCandidate "%1 may have %2")	Medicine.kif 1952-1952
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937

antecedent

(=>
    (pathologyCandidate ?H ?D)
    (exists (?DOC ?DI)
        (and
            (instance ?DI ?D)
            (believes ?DOC
                (modalAttribute
                    (experiencer ?D ?H) Possibility)))))

Medicine.kif 1954-1962