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
-------------------------


(documentation plays ChineseLanguage "CaseRole 是在游戏里扮演玩家,和扮演审判或是其他支柱角色相反。") ComputingBrands.kif 1674-1674
(documentation plays ChineseTraditionalLanguage "CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。") ComputingBrands.kif 1673-1673
(documentation plays EnglishLanguage "The CaseRole of being a player of a game, as opposed to a judge or other supporting role.") ComputingBrands.kif 1671-1672
(documentation plays JapaneseLanguage "ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーのCaseRole。") ComputingBrands.kif 1675-1676
(domain plays 1 Game) ComputingBrands.kif 1669-1669 domain プレー, 1 and Game
(domain plays 2 Agent) ComputingBrands.kif 1670-1670 domain プレー, 2 and Agent
(instance plays CaseRole) ComputingBrands.kif 1668-1668 instance プレー and CaseRole
(subrelation plays patient) ComputingBrands.kif 1667-1667 subrelation プレー and patient

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


(disjointRelation referee plays) ComputingBrands.kif 1656-1656 disjointRelation referee and プレー
(format ChineseLanguage plays "%2 扮演 %1") ComputingBrands.kif 1684-1684
(format ChineseTraditionalLanguage plays "%2 扮演 %1") ComputingBrands.kif 1683-1683
(format EnglishLanguage plays "%2 plays %1") ComputingBrands.kif 1682-1682
(format JapaneseLanguage plays "%2 が %1 をプレー") ComputingBrands.kif 1685-1685
(termFormat ChineseLanguage plays "扮演") ComputingBrands.kif 1679-1679
(termFormat ChineseTraditionalLanguage plays "扮演") ComputingBrands.kif 1678-1678
(termFormat EnglishLanguage plays "plays") ComputingBrands.kif 1677-1677
(termFormat JapaneseLanguage plays "プレー") ComputingBrands.kif 1680-1680

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


(=>
    (plays ?G ?A)
    (desires ?A
        (and
            (instance ?S Score)
            (subProcess ?S ?G)
            (agent ?S ?A))))
ComputingBrands.kif 1687-1693
(=>
    (plays ?G ?A)
    (desires ?A
        (exists (?S)
            (achievement ?G ?A ?S))))
ComputingBrands.kif 1648-1652


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners