Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MedicalDoctor(medical doctor) |  | Dr., Hippocrates, MD, abortionist, country_doctor, doc, doctor, family_medicine, family_practice, gastroenterologist, group_practice, house_physician, medical_practice, medico, optometry, physician, primary_care_physician, proctologist, resident, resident_physician |
| appearance as argument number 1 |
|
|
| (instance MedicalDoctor Profession) | Mid-level-ontology.kif 23274-23274 | Medical doctor is an instance of profession |
| (documentation MedicalDoctor EnglishLanguage "The Profession of being a medical doctor, i.e. having attended medical school and being licensed to practice medicine.") | Mid-level-ontology.kif 23275-23276 | Medical doctor is an instance of profession |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (medicine ?MC ?D) (exists (?DOC) (and (instance ?DOC MedicalDoctor) (believes ?DOC (exists (?T ?H ?M) (and (instance ?M ?MC) (instance ?T TherapeuticProcess) (instance ?H Human) (patientMedical ?H ?DOC) (resource ?T ?M) (benefits ?T ?H))))))) |
Mid-level-ontology.kif 11118-11131 | If X is medicine for Y, then All of the following hold: (1) there exists Z such that Z is an instance of medical doctor (2) Z believes there exist W, V (3) U such that U is an instance of X (4) W is an instance of therapeutic process (5) V is an instance of human (6) Z is a patient medical of V (7) U is a resource for W (8) V is a beneficiary of W |
| (=> (instance ?MS MedicalService) (exists (?AGENT ?HUMAN ?PROC) (and (agent ?MS ?AGENT) (employs ?AGENT ?HUMAN) (attribute ?HUMAN MedicalDoctor) (serviceProvider ?MS ?HUMAN) (or (instance ?PROC TherapeuticProcess) (instance ?PROC DiagnosticProcess)) (subProcess ?PROC ?MS)))) |
Hotel.kif 2299-2310 | If X is an instance of medical service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Y employs Z (4) medical doctor is an attribute of Z (5) Z provides a service during X (6) W is an instance of therapeutic process or W is an instance of diagnostic process (7) W is a subprocess of X |
| (=> (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 |
| (=> (instance ?MC MedicalClinic) (exists (?D) (and (instance ?MC CareOrganization) (attribute ?D MedicalDoctor) (employs ?MC ?D)))) |
Society.kif 195-201 | If X is an instance of clinic, then there exists Y such that X is an instance of care organization, medical doctor is an attribute of Y, and X employs Y |
|