| (=> (attribute ?DOCTOR MedicalDoctor) (exists (?PROCESS1 ?PROCESS2) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (capability ?PROCESS1 agent ?DOCTOR) (capability ?PROCESS2 agent ?DOCTOR)))) |
Mid-level-ontology.kif 21063-21070 | |
| (=> (attribute ?H Pulmonologist) (exists (?P1 ?P2 ?PAT ?L) (and (subclass ?PROCESS1 DiagnosticProcess) (subclass ?PROCESS2 TherapeuticProcess) (patient ?P1 ?PAT) (patient ?P2 ?PAT) (instance ?L Lung) (part ?L ?PAT) (located ?P1 Lung) (located ?P2 Lung)))) |
Medicine.kif 4481-4492 | |
| (subclass DiagnosticProcess Investigating) | Merge.kif 13000-13000 | |
| (subclass Biopsy DiagnosticProcess) | Mid-level-ontology.kif 24141-24141 | |
| (subclass MeasuringBreathing DiagnosticProcess) | Medicine.kif 461-461 | |
| (subclass Electrocardiography DiagnosticProcess) | Medicine.kif 3425-3425 | |
| (subclass CheckingVitals DiagnosticProcess) | Medicine.kif 6497-6497 |
|
|