TreeView Knowledge Base Browser

appearance as argument number 1

(documentation diseaseCandidate EnglishLanguage "A summary predicate for a modal statement. This means that some Agent believes that a given Human may have a DiseaseOrSyndrome.")	Medicine.kif 1927-1928
(documentation diseaseCandidate EnglishLanguage "A summary predicate for a modal statement. This means that some Agent believes that a given Human may have a PathologicProcess.")	Medicine.kif 1944-1945
(domain diseaseCandidate 1 Human)	Medicine.kif 1925-1925	The number 1 argument of disease candidate is an instance of human
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1926-1926	The number 2 argument of disease candidate is an instance of disease or syndrome
(instance diseaseCandidate BinaryPredicate)	Medicine.kif 1924-1924	disease candidate is an instance of binary predicate
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1930-1930	disease candidate is internally related to pathology candidate

appearance as argument number 2

(format EnglishLanguage diseaseCandidate "%1 may have %2")	Medicine.kif 1929-1929
(termFormat EnglishLanguage diseaseCandidate "disease candidate")	Medicine.kif 1946-1946

antecedent

(=>
    (diseaseCandidate ?H ?D)
    (exists (?DOC)
        (believes ?DOC
            (modalAttribute
                (attribute ?H ?D) Possibility))))

Medicine.kif 1932-1938