| appearance as argument number 1 |
|
| (documentation plays ChineseLanguage "CaseRole 是在游戏里扮演玩家，和扮演审判或是其他支柱角色相反。") | ComputingBrands.kif 1666-1666 | |
| (documentation plays ChineseTraditionalLanguage "CaseRole 是在遊戲裡扮演玩家,和扮演審判或是其他支柱角色相反。") | ComputingBrands.kif 1665-1665 | |
| (documentation plays EnglishLanguage "The CaseRole of being a player of a game, as opposed to a judge or other supporting role.") | ComputingBrands.kif 1663-1664 | |
| (documentation plays JapaneseLanguage "ゲームの審判または他のサポート役と対照的であるゲームの プレーヤーのCaseRole。") | ComputingBrands.kif 1667-1668 | |
| (domain plays 1 Game) | ComputingBrands.kif 1661-1661 | |
| (domain plays 2 Agent) | ComputingBrands.kif 1662-1662 | |
| (instance plays CaseRole) | ComputingBrands.kif 1660-1660 | |
| (subrelation plays patient) | ComputingBrands.kif 1659-1659 |
| appearance as argument number 2 |
|
|
| (disjointRelation referee plays) | ComputingBrands.kif 1648-1648 | |
| (format ChineseLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1676-1676 | |
| (format ChineseTraditionalLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1675-1675 | |
| (format EnglishLanguage plays "%2 plays %1") | ComputingBrands.kif 1674-1674 | |
| (format JapaneseLanguage plays "％2 が ％1 をプレー") | ComputingBrands.kif 1677-1677 | |
| (termFormat ChineseLanguage plays "扮演") | ComputingBrands.kif 1671-1671 | |
| (termFormat ChineseTraditionalLanguage plays "扮演") | ComputingBrands.kif 1670-1670 | |
| (termFormat EnglishLanguage plays "plays") | ComputingBrands.kif 1669-1669 | |
| (termFormat JapaneseLanguage plays "プレー") | ComputingBrands.kif 1672-1672 |
| antecedent |
|
|
| (=> (plays ?G ?A) (desires ?A (and (instance ?S Score) (subProcess ?S ?G) (agent ?S ?A)))) |
ComputingBrands.kif 1679-1685 | |
| (=> (plays ?G ?A) (desires ?A (exists (?S) (achievement ?G ?A ?S)))) |
ComputingBrands.kif 1640-1644 |
|
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 3.0 is open source software produced by Articulate Software and its partners