Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - diseaseCandidate
diseaseCandidate

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 Le nombre 1 argument de diseaseCandidate est une instance de humain
(domain diseaseCandidate 2 DiseaseOrSyndrome) Medicine.kif 1933-1933 Le nombre 2 argument de diseaseCandidate est une instance de maladie ou syndrome
(instance diseaseCandidate BinaryPredicate) Medicine.kif 1931-1931 diseaseCandidate est une instance de pr�dicat binaire
(relatedInternalConcept diseaseCandidate pathologyCandidate) Medicine.kif 1937-1937 diseaseCandidate est reli� � l'int�rieur de SUMO � pathologyCandidate

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners