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 1934-1935
(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 1950-1951
(domain diseaseCandidate 1 Human)	Medicine.kif 1932-1932	Die Zahl 1 Argument von diseaseCandidate ist ein fall von Human %n{nicht}
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1933-1933	Die Zahl 2 Argument von diseaseCandidate ist ein fall von DiseaseOrSyndrome %n{nicht}
(instance diseaseCandidate BinaryPredicate)	Medicine.kif 1931-1931	diseaseCandidate ist ein fall von BinaryPredicate %n{nicht}
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937	diseaseCandidate ist innerlich verwandt mit pathologyCandidate %n{nicht}

appearance as argument number 2

(format EnglishLanguage diseaseCandidate "%1 may have %2")

Medicine.kif 1936-1936

antecedent

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

Medicine.kif 1939-1945