Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - plays
plays

appearance as argument number 1
-------------------------


s__documentation(s__plays__m,s__ChineseLanguage,'"CaseRole 是在游戏里扮演玩家,和扮演审判或是其他支柱角色相反。"')

ComputingBrands.kif 1666-1666
s__documentation(s__plays__m,s__ChineseTraditionalLanguage,'"CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。"')

ComputingBrands.kif 1665-1665
s__documentation(s__plays__m,s__EnglishLanguage,'"The CaseRole of being a player of a game, as opposed to a judge or other supporting role."')

ComputingBrands.kif 1663-1664
s__documentation(s__plays__m,s__JapaneseLanguage,'"ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーのCaseRole。"')

ComputingBrands.kif 1667-1668
s__domain(s__plays__m,n__1,s__Game)

ComputingBrands.kif 1661-1661 The number 1 argument of plays is an instance of game
s__domain(s__plays__m,n__2,s__Agent)

ComputingBrands.kif 1662-1662 The number 2 argument of plays is an instance of agent
s__instance(s__CaseRole,s__SetOrClass)

s__instance(s__plays__m,s__CaseRole)

ComputingBrands.kif 1660-1660 plays is an instance of case role
s__subrelation(s__plays__m,s__patient__m)

ComputingBrands.kif 1659-1659 plays is a subrelation of patient

appearance as argument number 2
-------------------------


s__disjointRelation(s__referee__m,s__plays__m)

ComputingBrands.kif 1648-1648 referee and plays are disjoint
s__format(s__ChineseLanguage,s__plays__m,'"%2 扮演 %1"')

ComputingBrands.kif 1676-1676
s__format(s__ChineseTraditionalLanguage,s__plays__m,'"%2 扮演 %1"')

ComputingBrands.kif 1675-1675
s__format(s__EnglishLanguage,s__plays__m,'"%2 plays %1"')

ComputingBrands.kif 1674-1674
s__format(s__JapaneseLanguage,s__plays__m,'"%2 が %1 をプレー"')

ComputingBrands.kif 1677-1677
s__termFormat(s__ChineseLanguage,s__plays__m,'"扮演"')

ComputingBrands.kif 1671-1671
s__termFormat(s__ChineseTraditionalLanguage,s__plays__m,'"扮演"')

ComputingBrands.kif 1670-1670
s__termFormat(s__EnglishLanguage,s__plays__m,'"plays"')

ComputingBrands.kif 1669-1669
s__termFormat(s__JapaneseLanguage,s__plays__m,'"プレー"')

ComputingBrands.kif 1672-1672

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1679-1685
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1640-1644


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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