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
域
扮演
, 1 and
Game
(
domain
plays
2
AutonomousAgent
)
ComputingBrands.kif 1693-1693
域
扮演
, 2 and
AutonomousAgent
(
instance
plays
CaseRole
)
ComputingBrands.kif 1691-1691
例
扮演
and
CaseRole
(
subrelation
plays
patient
)
ComputingBrands.kif 1690-1690
子關係
扮演
and
患者
appearance as argument number 2
(
disjointRelation
referee
plays
)
ComputingBrands.kif 1679-1679
不相交的關係
referee
and
扮演
(
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
CognitiveAgent
扮演
Game
慾望
CognitiveAgent
and
例
entity
and
得分
子過程
entity
and
Game
agent
entity
and
CognitiveAgent
(=>
(
plays
?G ?A)
(
desires
?A
(
exists
(?S)
(
achievement
?G ?A ?S))))
ComputingBrands.kif 1671-1675
CognitiveAgent
扮演
Game
慾望
CognitiveAgent
and
entity
CognitiveAgent
已在
Game
完成
entity
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