| 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 | The number 1 argument of plays is an instance of game |
| (domain plays 2 AutonomousAgent) | ComputingBrands.kif 1693-1693 | The number 2 argument of plays is an instance of agent |
| (instance plays CaseRole) | ComputingBrands.kif 1691-1691 | plays is an instance of case role |
| (subrelation plays patient) | ComputingBrands.kif 1690-1690 | plays is a subrelation of patient |
| appearance as argument number 2 |
|
|
| (disjointRelation referee plays) | ComputingBrands.kif 1679-1679 | referee and plays are disjoint |
| (format ChineseLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1707-1707 | referee and plays are disjoint |
| (format ChineseTraditionalLanguage plays "%2 扮演 %1") | ComputingBrands.kif 1706-1706 | referee and plays are disjoint |
| (format EnglishLanguage plays "%2 plays %1") | ComputingBrands.kif 1705-1705 | referee and plays are disjoint |
| (format JapaneseLanguage plays "％2 が ％1 をプレー") | ComputingBrands.kif 1708-1708 | referee and plays are disjoint |
| (termFormat ChineseLanguage plays "扮演") | ComputingBrands.kif 1702-1702 | referee and plays are disjoint |
| (termFormat ChineseTraditionalLanguage plays "扮演") | ComputingBrands.kif 1701-1701 | referee and plays are disjoint |
| (termFormat EnglishLanguage plays "plays") | ComputingBrands.kif 1700-1700 | referee and plays are disjoint |
| (termFormat JapaneseLanguage plays "プレー") | ComputingBrands.kif 1703-1703 | referee and plays are disjoint |
| 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 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