TreeView Knowledge Base Browser - pathologyCandidate

appearance as argument number 1

(domain pathologyCandidate 1 Human)	Medicine.kif 1948-1948	域 pathologyCandidate, 1 and Human
(domainSubclass pathologyCandidate 2 PathologicProcess)	Medicine.kif 1949-1949	域子類 pathologyCandidate, 2 and PathologicProcess
(instance pathologyCandidate BinaryPredicate)	Medicine.kif 1947-1947	例 pathologyCandidate and BinaryPredicate

appearance as argument number 2

(format EnglishLanguage pathologyCandidate "%1 may have %2")	Medicine.kif 1952-1952
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937	相關的內部概念 diseaseCandidate and pathologyCandidate

antecedent

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

Medicine.kif 1954-1962