(=> (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 21035-21042 | |
(=> (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 12976-12976 | |
(subclass Biopsy DiagnosticProcess) | Mid-level-ontology.kif 24083-24083 | |
(subclass MeasuringBreathing DiagnosticProcess) | Medicine.kif 461-461 | |
(subclass Electrocardiography DiagnosticProcess) | Medicine.kif 3425-3425 | |
(subclass CheckingVitals DiagnosticProcess) | Medicine.kif 6497-6497 |