Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SecretarialService(secretarial service) |
| appearance as argument number 1 |
|
| (subclass SecretarialService ServiceProcess) | Hotel.kif 2312-2312 | Secretarial service is a subclass of service |
| (documentation SecretarialService EnglishLanguage "SecretarialService is a type of ServiceProcess where a serviceProvider hires a ClericalSecretary to fulfill the needs of a serviceRecipient") | Hotel.kif 2313-2315 | Secretarial service is a subclass of service |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SecretarialService "secretarial service") | Hotel.kif 2316-2316 |
| antecedent |
|
|
| (=> (instance ?X SecretarialService) (exists (?SP ?SR ?SEC) (and (serviceProvider ?X ?SP) (serviceRecipient ?X ?SR) (employs ?SP ?SEC) (attribute ?SEC ClericalSecretary)))) |
Hotel.kif 2318-2325 | 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 |
|