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 22944-22946
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 22940-22940 O argumento numero 1 de serviceRecipient e' uma instancia de ServiceProcess
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 22941-22941 O argumento numero 2 de serviceRecipient e' uma instancia de Agente Cognitivo
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 22938-22938 serviceRecipient e' uma instancia de Relacao Assimetrica
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 22937-22937 serviceRecipient e' uma instancia de Predicado Binario
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 22943-22943 serviceRecipient e' uma instancia de Role em Caso
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 22939-22939 serviceRecipient e' uma instancia de IntentionalRelation
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 22942-22942 serviceRecipient e' uma sub-relacao 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 52283-52283
(termFormat ChineseTraditionalLanguage serviceRecipient "服務接收者") domainEnglishFormat.kif 52282-52282
(termFormat EnglishLanguage serviceRecipient "service recipient") domainEnglishFormat.kif 52281-52281

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


(=>
    (instance ?EVENT ServiceProcess)
    (exists (?RECEIVER)
        (and
            (instance ?RECEIVER CognitiveAgent)
            (serviceRecipient ?EVENT ?RECEIVER))))		 Mid-level-ontology.kif 22955-22960
(=>
    (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 14225-14234


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