| 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 | SecretarialService è una sottoclasse di ServiceProcess |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SecretarialService "secretarial service") | 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners