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 2276-2278 | |
(subclass MedicalService ServiceProcess) | Hotel.kif 2275-2275 | Medical service is a subclass of service |
appearance as argument number 2 |
(termFormat EnglishLanguage MedicalService "medical service") | Hotel.kif 2279-2279 |
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 2281-2292 |
|