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
plays
Sigma KEE - plays
plays
appearance as argument number 1
(
documentation
plays
ChineseLanguage
"
CaseRole
是在游戏里扮演玩家,和扮演审判或是其他支柱角色相反。")
ComputingBrands.kif 1697-1697
(
documentation
plays
ChineseTraditionalLanguage
"
CaseRole
是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。")
ComputingBrands.kif 1696-1696
(
documentation
plays
EnglishLanguage
"The
CaseRole
of being a player of a game, as opposed to a judge or other supporting role.")
ComputingBrands.kif 1694-1695
(
documentation
plays
JapaneseLanguage
"ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーの
CaseRole
。")
ComputingBrands.kif 1698-1699
(
domain
plays
1
Game
)
ComputingBrands.kif 1692-1692
The number 1 argument of
plays
is an
instance
of
game
(
domain
plays
2
AutonomousAgent
)
ComputingBrands.kif 1693-1693
The number 2 argument of
plays
is an
instance
of
agent
(
instance
plays
CaseRole
)
ComputingBrands.kif 1691-1691
plays
is an
instance
of
case role
(
subrelation
plays
patient
)
ComputingBrands.kif 1690-1690
plays
is a
subrelation
of
patient
appearance as argument number 2
(
disjointRelation
referee
plays
)
ComputingBrands.kif 1679-1679
referee
and
plays
are
disjoint
(
format
ChineseLanguage
plays
"%2 扮演 %1")
ComputingBrands.kif 1707-1707
referee
and
plays
are
disjoint
(
format
ChineseTraditionalLanguage
plays
"%2 扮演 %1")
ComputingBrands.kif 1706-1706
referee
and
plays
are
disjoint
(
format
EnglishLanguage
plays
"%2 plays %1")
ComputingBrands.kif 1705-1705
referee
and
plays
are
disjoint
(
format
JapaneseLanguage
plays
"%2 が %1 をプレー")
ComputingBrands.kif 1708-1708
referee
and
plays
are
disjoint
(
termFormat
ChineseLanguage
plays
"扮演")
ComputingBrands.kif 1702-1702
referee
and
plays
are
disjoint
(
termFormat
ChineseTraditionalLanguage
plays
"扮演")
ComputingBrands.kif 1701-1701
referee
and
plays
are
disjoint
(
termFormat
EnglishLanguage
plays
"plays")
ComputingBrands.kif 1700-1700
referee
and
plays
are
disjoint
(
termFormat
JapaneseLanguage
plays
"プレー")
ComputingBrands.kif 1703-1703
referee
and
plays
are
disjoint
antecedent
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
If
a cognitive agent
plays
a game
,
then
the cognitive agent
desire
s
an entity
is an
instance
of
score
and
the entity
is a
subprocess
of
the game
and
the cognitive agent
is an
agent
of
the entity
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
If
a cognitive agent
plays
a game
,
then
the cognitive agent
desire
s there exists
an entity
such that
the cognitive agent
has achieved
the entity
in
the game
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