| MedicalService(medical service) | | 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 2217-2219 | |
| (subclass MedicalService ServiceProcess) | Hotel.kif 2216-2216 | Medical service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MedicalService "medical service") | Hotel.kif 2220-2220 | "medical service" is the printable form of medical service in english language |
| 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 2222-2233 |
|
|
|
|