ClericalSecretary - Sigma Knowledge base Browser

appearance as argument number 1

(instance ClericalSecretary SkilledOccupation)	Mid-level-ontology.kif 20802-20802	Clerical secretary is an instance of skilled occupation
(documentation ClericalSecretary EnglishLanguage "The class of Positions where the position holder is responsible for clerical duties, e.g. typing documents, answering phones, keeping schedules, etc.")	Mid-level-ontology.kif 20803-20805	Clerical secretary is an instance of skilled occupation

appearance as argument number 2

(termFormat EnglishLanguage ClericalSecretary "clerical secretary")	domainEnglishFormat.kif 15108-15108
(termFormat ChineseTraditionalLanguage ClericalSecretary "文書秘書")	domainEnglishFormat.kif 15109-15109
(termFormat ChineseLanguage ClericalSecretary "文书秘书")	domainEnglishFormat.kif 15110-15110

consequent

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

If X is an instance of secretarial service, then there exist Y, Z, W such that Y provides a service during X, Z receives a service during X, Y employs W, and clerical secretary is an attribute of W