MedicalService(medical service) |
appearance as argument number 1 |
![]() |
(documentation MedicalService EnglishLanguage "MedicalService is a type of ServiceProcess involving some DiagnosticProcess or TherapeuticProcess administered by a MedicalDoctor") | Hotel.kif 2287-2289 | |
(subclass MedicalService ServiceProcess) | Hotel.kif 2286-2286 | Medical service is a subclass of service |
appearance as argument number 2 |
![]() |
(termFormat EnglishLanguage MedicalService "medical service") | Hotel.kif 2290-2290 |
antecedent |
![]() |
(=> (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 2292-2303 |
|
![]() |
![]() |