| (=> (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 21036-21043 | |
| (=> (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 12954-12954 | |
| (subclass Biopsy DiagnosticProcess) | Mid-level-ontology.kif 24084-24084 | |
| (subclass MeasuringBreathing DiagnosticProcess) | Medicine.kif 461-461 | |
| (subclass Electrocardiography DiagnosticProcess) | Medicine.kif 3425-3425 | |
| (subclass CheckingVitals DiagnosticProcess) | Medicine.kif 6497-6497 |
|
|