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 22892-22894
(domain serviceRecipient 1 ServiceProcess) Mid-level-ontology.kif 22888-22888 域 服務接收者, 1 and 服務
(domain serviceRecipient 2 CognitiveAgent) Mid-level-ontology.kif 22889-22889 域 服務接收者, 2 and CognitiveAgent
(instance serviceRecipient AsymmetricRelation) Mid-level-ontology.kif 22886-22886 例 服務接收者 and AsymmetricRelation
(instance serviceRecipient BinaryPredicate) Mid-level-ontology.kif 22885-22885 例 服務接收者 and BinaryPredicate
(instance serviceRecipient CaseRole) Mid-level-ontology.kif 22891-22891 例 服務接收者 and CaseRole
(instance serviceRecipient IntentionalRelation) Mid-level-ontology.kif 22887-22887 例 服務接收者 and 有意圖的關係
(subrelation serviceRecipient experiencer) Mid-level-ontology.kif 22890-22890 子關係 服務接收者 and 體驗者

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 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