SecretarialService - Sigma Knowledge base Browser

appearance as argument number 1

(documentation SecretarialService EnglishLanguage "SecretarialService is a type of ServiceProcess where a serviceProvider hires a ClericalSecretary to fulfill the needs of a serviceRecipient")	Hotel.kif 2295-2297
(subclass SecretarialService ServiceProcess)	Hotel.kif 2294-2294

appearance as argument number 2

Hotel.kif 2298-2298

antecedent

(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))

Hotel.kif 2300-2307