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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - referee

appearance as argument number 1

(disjointRelation referee plays) ComputingBrands.kif 1648-1648
(documentation referee ChineseLanguage "CaseRole 是游戏里的裁判或协调者, 是跟游戏里的玩家角色相反。") ComputingBrands.kif 1655-1655
(documentation referee ChineseTraditionalLanguage "CaseRole 是遊戲裡的裁判或協調者, 是跟遊戲裡的玩家角色相反。") ComputingBrands.kif 1654-1654
(documentation referee EnglishLanguage "The CaseRole of being a judge or coordinator of a game, as opposed to a player in the game.") ComputingBrands.kif 1652-1653
(documentation referee JapaneseLanguage "ゲームのプレイヤーと対照的であるゲームの審判またはコー ディネーターのCaseRole。") ComputingBrands.kif 1656-1657
(domain referee 1 Game) ComputingBrands.kif 1650-1650
(domain referee 2 Agent) ComputingBrands.kif 1651-1651
(instance referee CaseRole) ComputingBrands.kif 1646-1646
(subrelation referee patient) ComputingBrands.kif 1647-1647

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