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 20771-20773
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 20767-20767 The number 1 argument of service recipient is an instance of service
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 20768-20768 The number 2 argument of service recipient is an instance of cognitive agent
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 20765-20765 service recipient is an instance of asymmetric relation
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 20764-20764 service recipient is an instance of binary predicate
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 20770-20770 service recipient is an instance of case role
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 20766-20766 service recipient is an instance of intentional relation
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 20769-20769 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 144-144
(termFormat ChineseLanguage serviceRecipient "受服务者") chinese_format.kif 236-236 "受服务者" is the printable form of service recipient in ChineseLanguage
(termFormat EnglishLanguage serviceRecipient "service recipient") domainEnglishFormat.kif 9137-9137 "service recipient" is the printable form of service recipient in english language

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 20784-20789
(=>
    (instance ?SVC ExecutiveService)
    (exists (?HUMAN ?LEVEL ?ROOM)
        (and
            (serviceRecipient ?SVC ?HUMAN)
            (stays ?HUMAN ?ROOM)
            (located ?ROOM ?LEVEL)
            (attribute ?LEVEL ExecutiveLevel))))
Hotel.kif 2186-2193
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2241-2248
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1716-1722
(=>
    (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 11815-11824


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners