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 23175-23177
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 23171-23171 The number 1 argument of service recipient is an instance of service
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 23172-23172 The number 2 argument of service recipient is an instance of cognitive agent
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 23169-23169 service recipient is an instance of asymmetric relation
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 23168-23168 service recipient is an instance of binary predicate
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 23174-23174 service recipient is an instance of case role
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 23170-23170 service recipient is an instance of intentional relation
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 23173-23173 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
(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 52321-52321
(termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者") domainEnglishFormat.kif 52320-52320
(termFormat EnglishLanguage serviceRecipient "service recipient") domainEnglishFormat.kif 52319-52319

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))		 Mid-level-ontology.kif 23186-23191
(=>
    (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 14416-14425


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