plays |
appearance as argument number 1 |
![]() |
(documentation plays ChineseLanguage "CaseRole 是在游戏里扮演玩家,和扮演审判或是其他支柱角色相反。") | ComputingBrands.kif 1672-1672 | |
(documentation plays ChineseTraditionalLanguage "CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。") | ComputingBrands.kif 1671-1671 | |
(documentation plays EnglishLanguage "The CaseRole of being a player of a game, as opposed to a judge or other supporting role.") | ComputingBrands.kif 1669-1670 | |
(documentation plays JapaneseLanguage "ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーのCaseRole。") | ComputingBrands.kif 1673-1674 | |
(domain plays 1 Game) | ComputingBrands.kif 1667-1667 | |
(domain plays 2 Agent) | ComputingBrands.kif 1668-1668 | |
(instance plays CaseRole) | ComputingBrands.kif 1666-1666 | |
(subrelation plays patient) | ComputingBrands.kif 1665-1665 |
appearance as argument number 2 |
![]() |
(disjointRelation referee plays) | ComputingBrands.kif 1654-1654 | |
(format ChineseLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1682-1682 | |
(format ChineseTraditionalLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1681-1681 | |
(format EnglishLanguage plays "%2 plays %1") | ComputingBrands.kif 1680-1680 | |
(format JapaneseLanguage plays "%2 が %1 をプレー") | ComputingBrands.kif 1683-1683 | |
(termFormat ChineseLanguage plays "扮演") | ComputingBrands.kif 1677-1677 | |
(termFormat ChineseTraditionalLanguage plays "扮演") | ComputingBrands.kif 1676-1676 | |
(termFormat EnglishLanguage plays "plays") | ComputingBrands.kif 1675-1675 | |
(termFormat JapaneseLanguage plays "プレー") | ComputingBrands.kif 1678-1678 |
antecedent |
![]() |
(=> (plays ?G ?A) (desires ?A (and (instance ?S Score) (subProcess ?S ?G) (agent ?S ?A)))) |
ComputingBrands.kif 1685-1691 | |
(=> (plays ?G ?A) (desires ?A (exists (?S) (achievement ?G ?A ?S)))) |
ComputingBrands.kif 1646-1650 |
![]() |
![]() |