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
The number 1 argument of
service recipient
is an
instance
of
service
(
domain
serviceRecipient
2
CognitiveAgent
)
Mid-level-ontology.kif 22889-22889
The number 2 argument of
service recipient
is an
instance
of
cognitive agent
(
instance
serviceRecipient
AsymmetricRelation
)
Mid-level-ontology.kif 22886-22886
service recipient
is an
instance
of
asymmetric relation
(
instance
serviceRecipient
BinaryPredicate
)
Mid-level-ontology.kif 22885-22885
service recipient
is an
instance
of
binary predicate
(
instance
serviceRecipient
CaseRole
)
Mid-level-ontology.kif 22891-22891
service recipient
is an
instance
of
case role
(
instance
serviceRecipient
IntentionalRelation
)
Mid-level-ontology.kif 22887-22887
service recipient
is an
instance
of
intentional relation
(
subrelation
serviceRecipient
experiencer
)
Mid-level-ontology.kif 22890-22890
service recipient
is a
subrelation
of
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
If
a service
is an
instance
of
service
,
then there exists
a cognitive agent
such that
the cognitive agent
is an
instance
of
cognitive agent
and
the cognitive agent
receives a service during
the service
(=>
(
instance
?SVC
ExecutiveService
)
(
exists
(?HUMAN ?LEVEL ?ROOM)
(
and
(
serviceRecipient
?SVC ?HUMAN)
(
stays
?HUMAN ?ROOM)
(
located
?ROOM ?LEVEL)
(
attribute
?LEVEL
ExecutiveLevel
))))
Hotel.kif 2245-2252
If
a service
is an
instance
of
executive service
,
then there exist
a human
,
an object
and
a temporary residence
such that
the human
receives a service during
the service
and
the human
stays
at
the temporary residence
and
the temporary residence
is
located
at
the object
and
executive level
is an
attribute
of
the object
(=>
(
instance
?X
SecretarialService
)
(
exists
(?SP ?SR ?SEC)
(
and
(
serviceProvider
?X ?SP)
(
serviceRecipient
?X ?SR)
(
employs
?SP ?SEC)
(
attribute
?SEC
ClericalSecretary
))))
Hotel.kif 2300-2307
If
a service
is an
instance
of
secretarial service
,
then there exist
a cognitive agent
,
another cognitive agent
and
a third cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the other cognitive agent
receives a service during
the service
and
the cognitive agent
employ
s
the third cognitive agent
and
clerical secretary
is an
attribute
of
the third cognitive agent
(=>
(
instance
?X
ServiceProcess
)
(
exists
(?AGENT ?CUST)
(
and
(
serviceProvider
?X ?AGENT)
(
serviceRecipient
?X ?CUST)
(
not
(
equal
?AGENT ?CUST)))))
Hotel.kif 1772-1778
If
a service
is an
instance
of
service
,
then there exist
a cognitive agent
and
another cognitive agent
such that
the cognitive agent
provides a service during
the service
and
the other cognitive agent
receives a service during
the service
and
the cognitive agent
is not
equal
to
the other cognitive agent
(=>
(
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
If
a proposition
the
attribute
service contract
,
then there exist
a service
,
an agreement
and
the proposition
UST such that
the service
is an
instance
of
service
and
the service
express
es the content of
the proposition
and
the agreement
provides a service during
the service
and
the proposition
UST receives a service during
the service
and
the agreement
is a
party
to agreement of
the proposition
and
the proposition
UST is a
party
to agreement of
the proposition
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