|
|
   MedicalService
|
|
|
| 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 2249-2251 | |
| (subclass MedicalService ServiceProcess) | Hotel.kif 2248-2248 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MedicalService "medical service") | Hotel.kif 2252-2252 |
| 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 2254-2265 |
|
|
|