Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Misdiagnosing
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Misdiagnosing Stating) | Medicine.kif 4217-4217 | Misdiagnosing is a subclass of stating |
| (documentation Misdiagnosing EnglishLanguage "A Process whereby a MedicalDoctor communicates that a patient has a DiseaseOrSyndrome that he or she does not. Note that this is done in good faith and the doctor believes that the diagnosis is accurate - this is not a case of TellingALie.") | Medicine.kif 4218-4222 | Misdiagnosing is a subclass of stating |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Misdiagnosing "misdiagnosing") | Medicine.kif 4224-4224 |
| antecedent |
|
|
| (=> (and (instance ?M Misdiagnosing) (agent ?M ?D)) (instance ?D MedicalDoctor)) |
Medicine.kif 4226-4230 | If X is an instance of misdiagnosing and Y is an agent of X, then Y is an instance of medical doctor |
| (=> (and (instance ?M Misdiagnosing) (agent ?M ?D) (refers ?M ?P) (instance ?P Human)) (exists (?DIS) (and (containsFormula ?M (attribute ?P ?DIS)) (instance ?DIS DiseaseOrSyndrome) (believes ?D (attribute ?P ?DIS)) (truth (attribute ?P ?DIS) False)))) |
Medicine.kif 4232-4247 | If X is an instance of misdiagnosing, Y is an agent of X, X includes a reference to Z, and Z is an instance of human, then there exists W such that X contains the formula W is an attribute of Z, W is an instance of disease or syndrome, Y believes W is an attribute of Z, and W is an attribute of Z is false |
|