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
O argumento numero 1 de
plays
e' uma
instancia
de
Jogo
(
domain
plays
2
AutonomousAgent
)
ComputingBrands.kif 1693-1693
O argumento numero 2 de
plays
e' uma
instancia
de
AutonomousAgent
(
instance
plays
CaseRole
)
ComputingBrands.kif 1691-1691
plays
e' uma
instancia
de
Role em Caso
(
subrelation
plays
patient
)
ComputingBrands.kif 1690-1690
plays
e' uma
sub
-relacao de
patient
appearance as argument number 2
(
disjointRelation
referee
plays
)
ComputingBrands.kif 1679-1679
referee
e
plays
sao
disjuntos
(
format
ChineseLanguage
plays
"%2 扮演 %1")
ComputingBrands.kif 1707-1707
(
format
ChineseTraditionalLanguage
plays
"%2 扮演 %1")
ComputingBrands.kif 1706-1706
(
format
EnglishLanguage
plays
"%2 plays %1")
ComputingBrands.kif 1705-1705
(
format
JapaneseLanguage
plays
"%2 が %1 をプレー")
ComputingBrands.kif 1708-1708
(
termFormat
ChineseLanguage
plays
"扮演")
ComputingBrands.kif 1702-1702
(
termFormat
ChineseTraditionalLanguage
plays
"扮演")
ComputingBrands.kif 1701-1701
(
termFormat
EnglishLanguage
plays
"plays")
ComputingBrands.kif 1700-1700
(
termFormat
JapaneseLanguage
plays
"プレー")
ComputingBrands.kif 1703-1703
antecedent
(=>
(
plays
?G ?A)
(
desires
?A
(
and
(
instance
?S
Score
)
(
subProcess
?S ?G)
(
agent
?S ?A))))
ComputingBrands.kif 1710-1716
plays
Jogo
and
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
e' uma
instancia
de
Score
Entidade
e' um
sub
-processo de
Jogo
Entidade
e' um
agente
de
Agente Cognitivo
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
plays
Jogo
and
Agente Cognitivo
Agente Cognitivo
deseja
Entidade
achievement
Jogo
,
Agente Cognitivo
and
Entidade
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