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


KB Term:  Term intersection
English Word: 

  plays

 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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners