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 数量 是
服务
的
instance
(
domain
serviceRecipient
2
CognitiveAgent
)
Mid-level-ontology.kif 22889-22889
受服务者
的 2 数量 是
有认知的主事
的
instance
(
instance
serviceRecipient
AsymmetricRelation
)
Mid-level-ontology.kif 22886-22886
受服务者
是
非对称关系
的
instance
(
instance
serviceRecipient
BinaryPredicate
)
Mid-level-ontology.kif 22885-22885
受服务者
是
二元谓语
的
instance
(
instance
serviceRecipient
CaseRole
)
Mid-level-ontology.kif 22891-22891
受服务者
是
格角色
的
instance
(
instance
serviceRecipient
IntentionalRelation
)
Mid-level-ontology.kif 22887-22887
受服务者
是
有意图的关系
的
instance
(
subrelation
serviceRecipient
experiencer
)
Mid-level-ontology.kif 22890-22890
受服务者
是
经历者
的
subrelation
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
,
然后 有存在
有认知的主事
这样
那个 有认知的主事
是
有认知的主事
的
instance
和
那个 有认知的主事
在
那个 服务
中获得服务
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
如果
服务
是
ExecutiveService
的
instance
,
然后 有存在
人类
,
客体
, and 和
暂住
这样
那个 人类
在
那个 服务
中获得服务 和
那个 人类
stays
在
那个 暂住
和
那个 暂住
是
located
在
那个 客体
和
ExecutiveLevel
是
那个 客体
的
attribute
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
如果
服务
是
SecretarialService
的
instance
,
然后 有存在
有认知的主事
,
另一个 有认知的主事
, and 和
第三 有认知的主事
这样
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 另外 有认知的主事
在
那个 服务
中获得服务 和
那个 有认知的主事
employs
那个 第三 有认知的主事
和
文书秘书
是
那个 第三 有认知的主事
的
attribute
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
如果
服务
是
服务
的
instance
,
然后 有存在
有认知的主事
和
另一个 有认知的主事
这样
那个 有认知的主事
在
那个 服务
中提供服务 和
那个 另外 有认知的主事
在
那个 服务
中获得服务 和
那个 有认知的主事
不
equal
那个 另外 有认知的主事
(=>
(
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
如果
命题
有
服务合同
的
attribute
,
然后 有存在
服务
,
协议
, and 和
那个 命题
UST 这样
那个 服务
是
服务
的
instance
和
那个 服务
表示
那个 命题
的内容 和
那个 协议
在
那个 服务
中提供服务 和
那个 命题
UST 在
那个 服务
中获得服务 和
那个 协议
是
那个 命题
的
party
协议 和
那个 命题
UST 是
那个 命题
的
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