Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MedicalService(medical service) |
| appearance as argument number 1 |
|
| (subclass MedicalService ServiceProcess) | Hotel.kif 2293-2293 | Medical service is a subclass of service |
| (documentation MedicalService EnglishLanguage "MedicalService is a type of ServiceProcess involving some DiagnosticProcess or TherapeuticProcess administered by a MedicalDoctor") | Hotel.kif 2294-2296 | Medical service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage MedicalService "medical service") | Hotel.kif 2297-2297 |
| 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 2299-2310 | If X is an instance of medical service, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an agent of X (3) Y employs Z (4) medical doctor is an attribute of Z (5) Z provides a service during X (6) W is an instance of therapeutic process or W is an instance of diagnostic process (7) W is a subprocess of X |
|