TreeView Knowledge Base Browser - pathologyCandidate

appearance as argument number 1

(domain pathologyCandidate 1 Human)	Medicine.kif 1948-1948	pathologyCandidate 的 1 数量是人类的 instance
(domainSubclass pathologyCandidate 2 PathologicProcess)	Medicine.kif 1949-1949	pathologyCandidate 的 2 数量是病理过程的 subclass
(instance pathologyCandidate BinaryPredicate)	Medicine.kif 1947-1947	pathologyCandidate 是二元谓语的 instance

appearance as argument number 2

(format EnglishLanguage pathologyCandidate "%1 may have %2")	Medicine.kif 1952-1952
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937	diseaseCandidate 和 pathologyCandidate 是内部相关

antecedent

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

Medicine.kif 1954-1962