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
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 22312-22312
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 22309-22309
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 22308-22308
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 22314-22314
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 22310-22310
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 22313-22313

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
(=>
    (instance ?SVC ExecutiveService)
    (exists (?HUMAN ?LEVEL ?ROOM)
        (and
            (serviceRecipient ?SVC ?HUMAN)
            (stays ?HUMAN ?ROOM)
            (located ?ROOM ?LEVEL)
            (attribute ?LEVEL ExecutiveLevel))))
Hotel.kif 2218-2225
(=>
    (instance ?X SecretarialService)
    (exists (?SP ?SR ?SEC)
        (and
            (serviceProvider ?X ?SP)
            (serviceRecipient ?X ?SR)
            (employs ?SP ?SEC)
            (attribute ?SEC ClericalSecretary))))
Hotel.kif 2273-2280
(=>
    (instance ?X ServiceProcess)
    (exists (?AGENT ?CUST)
        (and
            (serviceProvider ?X ?AGENT)
            (serviceRecipient ?X ?CUST)
            (not
                (equal ?AGENT ?CUST)))))
Hotel.kif 1747-1753
(=>
    (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


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