Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
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
域
服務接收者
, 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
例
服務
and
服務
CognitiveAgent
例
CognitiveAgent
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
例
服務
and
ExecutiveService
Human
Object
and
暫住
服務接收者
服務
and
Human
Human
stays
在
暫住
位於
暫住
and
Object
attribute
Object
and
ExecutiveLevel
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
例
服務
and
SecretarialService
CognitiveAgent
CognitiveAgent
and
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
採用
CognitiveAgent
and
CognitiveAgent
attribute
CognitiveAgent
and
文書秘書
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
例
服務
and
服務
CognitiveAgent
CognitiveAgent
服務提供者
服務
and
CognitiveAgent
服務接收者
服務
and
CognitiveAgent
等於
CognitiveAgent
and
CognitiveAgent
(=>
(
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
屬性
Proposition
and
服務合同
服務
協議
and
Proposition
UST
例
服務
and
服務
實現
服務
and
Proposition
服務提供者
服務
and
協議
服務接收者
服務
and
Proposition
UST
協議
是
Proposition
的
party
協議
Proposition
UST 是
Proposition
的
party
協議
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