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 22892-22894
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 22888-22888 Le nombre 1 argument de serviceRecipient est une instance de ServiceProcess
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 22889-22889 Le nombre 2 argument de serviceRecipient est une instance de agent cognitif
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 22886-22886 serviceRecipient est une instance de relation asym�trique
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 22885-22885 serviceRecipient est une instance de pr�dicat binaire
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 22891-22891 serviceRecipient est une instance de r�le d�pendant du cas
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 22887-22887 serviceRecipient est une instance de IntentionalRelation
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 22890-22890 serviceRecipient est une sous-relation de 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 52281-52281
(termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者") domainEnglishFormat.kif 52280-52280
(termFormat EnglishLanguage serviceRecipient "service recipient") domainEnglishFormat.kif 52279-52279

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))
Mid-level-ontology.kif 22903-22908
(=>
    (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 14198-14207


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