| appearance as argument number 1 |
|
| (documentation serviceRecipient EnglishLanguage "(serviceRecipient ?EVENT ?AGENT) means that ?AGENT is the receiver of the service provided in ?EVENT.") | Mid-level-ontology.kif 23207-23209 | |
| (domain serviceRecipient 1 ServiceProcess) | Mid-level-ontology.kif 23203-23203 | |
| (domain serviceRecipient 2 CognitiveAgent) | Mid-level-ontology.kif 23204-23204 | |
| (instance serviceRecipient AsymmetricRelation) | Mid-level-ontology.kif 23201-23201 | |
| (instance serviceRecipient BinaryPredicate) | Mid-level-ontology.kif 23200-23200 | |
| (instance serviceRecipient CaseRole) | Mid-level-ontology.kif 23206-23206 | |
| (instance serviceRecipient IntentionalRelation) | Mid-level-ontology.kif 23202-23202 | |
| (subrelation serviceRecipient experiencer) | Mid-level-ontology.kif 23205-23205 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage serviceRecipient "%2 %n{doesn't} 在 %1 中获得服务") | chinese_format.kif 235-235 | |
| (format EnglishLanguage serviceRecipient "%2 %n{doesn't} receive%p{s} a service during %1") | english_format.kif 236-236 | |
| (format JapaneseLanguage serviceRecipient "%2 は %1 の間サービスを receive%p{s} %n{ない}") | japanese_format.kif 1966-1966 | |
| (termFormat ChineseLanguage serviceRecipient "受服务者") | chinese_format.kif 236-236 | |
| (termFormat ChineseLanguage serviceRecipient "服务接收者") | domainEnglishFormat.kif 52316-52316 | |
| (termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者") | domainEnglishFormat.kif 52315-52315 | |
| (termFormat EnglishLanguage serviceRecipient "service recipient") | domainEnglishFormat.kif 52314-52314 |
| consequent |
|
|
| (=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER)))) |
Mid-level-ontology.kif 23218-23223 | |
| (=> (instance ?SVC ExecutiveService) (exists (?HUMAN ?LEVEL ?ROOM) (and (serviceRecipient ?SVC ?HUMAN) (stays ?HUMAN ?ROOM) (located ?ROOM ?LEVEL) (attribute ?LEVEL ExecutiveLevel)))) |
Hotel.kif 2245-2252 | |
| (=> (instance ?X SecretarialService) (exists (?SP ?SR ?SEC) (and (serviceProvider ?X ?SP) (serviceRecipient ?X ?SR) (employs ?SP ?SEC) (attribute ?SEC ClericalSecretary)))) |
Hotel.kif 2300-2307 | |
| (=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST))))) |
Hotel.kif 1772-1778 | |
| (=> (property ?C ServiceContract) (exists (?SP ?SERVICE ?CUST) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST)))) |
Mid-level-ontology.kif 14448-14457 |
|
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