Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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 20809-20811
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 20805-20805 The number 1 argument of service recipient is an instance of service
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 20806-20806 The number 2 argument of service recipient is an instance of cognitive agent
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 20803-20803 service recipient is an instance of asymmetric relation
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 20802-20802 service recipient is an instance of binary predicate
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 20808-20808 service recipient is an instance of case role
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 20804-20804 service recipient is an instance of intentional relation
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 20807-20807 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 239-239
(termFormat ChineseLanguage serviceRecipient "受服务者") chinese_format.kif 236-236
(termFormat ChineseLanguage serviceRecipient "服务接收者") domainEnglishFormat.kif 52199-52199
(termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者") domainEnglishFormat.kif 52198-52198
(termFormat EnglishLanguage serviceRecipient "service recipient") domainEnglishFormat.kif 52197-52197

consequent
-------------------------


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20822-20827
(=>
    (instance ?SVC ExecutiveService)
    (exists (?HUMAN ?LEVEL ?ROOM)
        (and
            (serviceRecipient ?SVC ?HUMAN)
            (stays ?HUMAN ?ROOM)
            (located ?ROOM ?LEVEL)
            (attribute ?LEVEL ExecutiveLevel))))
Hotel.kif 2191-2198
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2246-2253
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1720-1726
(=>
    (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 11846-11855


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