| (=> (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 20377-20384 | |
| (subclass TherapeuticProcess Repairing) | Merge.kif 12015-12015 | |
| (subclass Vaccination TherapeuticProcess) | WMD.kif 1060-1060 | |
| (subclass Massaging TherapeuticProcess) | Mid-level-ontology.kif 5388-5388 | |
| (subclass RelievingPain TherapeuticProcess) | Mid-level-ontology.kif 5461-5461 | |
| (subclass Surgery TherapeuticProcess) | Merge.kif 12031-12031 |
|
|