TreeView Knowledge Base Browser

appearance as argument number 1

(instance diseaseCandidate BinaryPredicate)	Medicine.kif 1915-1915	disease candidate is an instance of binary predicate
(domain diseaseCandidate 1 Human)	Medicine.kif 1916-1916	The number 1 argument of disease candidate is an instance of human
(domain diseaseCandidate 2 DiseaseOrSyndrome)	Medicine.kif 1917-1917	The number 2 argument of disease candidate is an instance of disease or syndrome
(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 1918-1919	The number 2 argument of disease candidate is an instance of disease or syndrome
(relatedInternalConcept diseaseCandidate pathologyCandidate)	Medicine.kif 1921-1921	disease candidate is internally related to pathology candidate
(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 1935-1936	disease candidate is internally related to pathology candidate

appearance as argument number 2

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

antecedent

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

If X may have Y, then there exists Z such that Z believes the statement Y is an attribute of X has the modal force of possibility