TreeView Knowledge Base Browser - serviceRecipient

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

serviceRecipient

Sigma KEE - serviceRecipient

serviceRecipient

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 22315-22317
(domain serviceRecipient 1 ServiceProcess)	Mid-level-ontology.kif 22311-22311	The number 1 argument of service recipient is an instance of service
(domain serviceRecipient 2 CognitiveAgent)	Mid-level-ontology.kif 22312-22312	The number 2 argument of service recipient is an instance of cognitive agent
(instance serviceRecipient AsymmetricRelation)	Mid-level-ontology.kif 22309-22309	service recipient is an instance of asymmetric relation
(instance serviceRecipient BinaryPredicate)	Mid-level-ontology.kif 22308-22308	service recipient is an instance of binary predicate
(instance serviceRecipient CaseRole)	Mid-level-ontology.kif 22314-22314	service recipient is an instance of case role
(instance serviceRecipient IntentionalRelation)	Mid-level-ontology.kif 22310-22310	service recipient is an instance of intentional relation
(subrelation serviceRecipient experiencer)	Mid-level-ontology.kif 22313-22313	service recipient is a subrelation of experiencer

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
(termFormat ChineseLanguage serviceRecipient "受服务者")	chinese_format.kif 236-236
(termFormat ChineseLanguage serviceRecipient "服务接收者")	domainEnglishFormat.kif 52264-52264
(termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者")	domainEnglishFormat.kif 52263-52263
(termFormat EnglishLanguage serviceRecipient "service recipient")	domainEnglishFormat.kif 52262-52262

consequent

(=> (instance ?EVENT ServiceProcess) (exists (?RECEIVER) (and (instance ?RECEIVER CognitiveAgent) (serviceRecipient ?EVENT ?RECEIVER))))	Mid-level-ontology.kif 22326-22331	If a service is an instance of service, then there exists a cognitive agent such that the cognitive agent is an instance of cognitive agent and the cognitive agent receives a service during the service
(=> (instance ?SVC ExecutiveService) (exists (?HUMAN ?LEVEL ?ROOM) (and (serviceRecipient ?SVC ?HUMAN) (stays ?HUMAN ?ROOM) (located ?ROOM ?LEVEL) (attribute ?LEVEL ExecutiveLevel))))	Hotel.kif 2218-2225	If a service is an instance of executive service, then there exist a human, an object and a temporary residence such that the human receives a service during the service and the human stays at the temporary residence and the temporary residence is located at the object and executive level is an attribute of the object
(=> (instance ?X SecretarialService) (exists (?SP ?SR ?SEC) (and (serviceProvider ?X ?SP) (serviceRecipient ?X ?SR) (employs ?SP ?SEC) (attribute ?SEC ClericalSecretary))))	Hotel.kif 2273-2280	If a service is an instance of secretarial service, then there exist a cognitive agent, another cognitive agent and a third cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent employs the third cognitive agent and clerical secretary is an attribute of the third cognitive agent
(=> (instance ?X ServiceProcess) (exists (?AGENT ?CUST) (and (serviceProvider ?X ?AGENT) (serviceRecipient ?X ?CUST) (not (equal ?AGENT ?CUST)))))	Hotel.kif 1747-1753	If a service is an instance of service, then there exist a cognitive agent and another cognitive agent such that the cognitive agent provides a service during the service and the other cognitive agent receives a service during the service and the cognitive agent is not equal to the other cognitive agent
(=> (property ?C ServiceContract) (exists (?SP) (and (instance ?SP ServiceProcess) (realization ?SP ?C) (serviceProvider ?SP ?SERVICE) (serviceRecipient ?SP ?CUST) (partyToAgreement ?C ?SERVICE) (partyToAgreement ?C ?CUST))))	Mid-level-ontology.kif 13664-13673	If a proposition the attribute service contract, then there exists a service such that the service is an instance of service and the service expresses the content of the proposition and an agreement provides a service during the service and the propositionUST receives a service during the service and the agreement is a party to agreement of the proposition and the propositionUST is a party to agreement of the proposition

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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