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


KB Term:  Term intersection
English Word: 

Sigma KEE - plays
plays

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


(subrelation plays patient) ComputingBrands.kif 1690-1690 plays is a subrelation of patient
(instance plays CaseRole) ComputingBrands.kif 1691-1691 plays is an instance of case role
(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
(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 The number 2 argument of plays is an instance of agent
(documentation plays ChineseTraditionalLanguage "CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。") ComputingBrands.kif 1696-1696 The number 2 argument of plays is an instance of agent
(documentation plays ChineseLanguage "CaseRole 是在游戏里扮演玩家，和扮演审判或是其他支柱角色相反。") ComputingBrands.kif 1697-1697 The number 2 argument of plays is an instance of agent
(documentation plays JapaneseLanguage "ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーのCaseRole。") ComputingBrands.kif 1698-1699 The number 2 argument of plays is an instance of agent

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


(disjointRelation referee plays) ComputingBrands.kif 1679-1679 referee and plays are disjoint
(termFormat EnglishLanguage plays "plays") ComputingBrands.kif 1700-1700 referee and plays are disjoint
(termFormat ChineseTraditionalLanguage plays "扮演") ComputingBrands.kif 1701-1701 referee and plays are disjoint
(termFormat ChineseLanguage plays "扮演") ComputingBrands.kif 1702-1702 referee and plays are disjoint
(termFormat JapaneseLanguage plays "プレー") ComputingBrands.kif 1703-1703 referee and plays are disjoint
(format EnglishLanguage plays "%2 plays %1") ComputingBrands.kif 1705-1705 referee and plays are disjoint
(format ChineseTraditionalLanguage plays "%2 扮演 %1") ComputingBrands.kif 1706-1706 referee and plays are disjoint
(format ChineseLanguage plays "%2 扮演 %1") ComputingBrands.kif 1707-1707 referee and plays are disjoint
(format JapaneseLanguage plays "％2 が ％1 をプレー") ComputingBrands.kif 1708-1708 referee and plays are disjoint

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


(=>
    (plays ?G ?A)
    (desires ?A
        (exists (?S)
            (achievement ?G ?A ?S))))		 ComputingBrands.kif 1671-1675 If X plays Y, then X desires there exists Z such that X has achieved Z in Y
(=>
    (plays ?G ?A)
    (desires ?A
        (and
            (instance ?S Score)
            (subProcess ?S ?G)
            (agent ?S ?A))))		 ComputingBrands.kif 1710-1716 If X plays Y, then X desires Z is an instance of score, Z is a subprocess of Y, and X is an agent of Z


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