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

Formal Language: 



KB Term:  Term intersection
English Word: 

  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
(domain plays 2 AutonomousAgent) ComputingBrands.kif 1693-1693
(instance plays CaseRole) ComputingBrands.kif 1691-1691
(subrelation plays patient) ComputingBrands.kif 1690-1690

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


(disjointRelation referee plays) ComputingBrands.kif 1679-1679
(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
(=>
    (plays ?G ?A)
    (desires ?A
        (exists (?S)
            (achievement ?G ?A ?S))))
ComputingBrands.kif 1671-1675


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