MedicalService - Sigma Knowledge base Browser

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

appearance as argument number 2

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