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 |