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	diseaseCandidate の数値 1 引数は人［人間］の instance では %n
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1933-1933	diseaseCandidate の数値 2 引数は病気または症候群の instance では %n
(instance diseaseCandidate BinaryPredicate)	Medicine.kif 1931-1931	diseaseCandidate は 2進述語の instance では %n
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1937-1937	diseaseCandidate は pathologyCandidate に internally 関連して %n

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