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

Formal Language: 



KB Term:  Term intersection
English Word: 

  referee

 Sigma KEE - referee
referee

appearance as argument number 1
-------------------------


(disjointRelation referee plays) ComputingBrands.kif 1679-1679 referee und plays werden disjunkt
(documentation referee ChineseLanguage "CaseRole 是游戏里的裁判或协调者, 是跟游戏里的玩家角色相反。") ComputingBrands.kif 1686-1686
(documentation referee ChineseTraditionalLanguage "CaseRole 是遊戲裡的裁判或協調者, 是跟遊戲裡的玩家角色相反。") ComputingBrands.kif 1685-1685
(documentation referee EnglishLanguage "The CaseRole of being a judge or coordinator of a game, as opposed to a player in the game.") ComputingBrands.kif 1683-1684
(documentation referee JapaneseLanguage "ゲームのプレイヤーと対照的であるゲームの審判またはコー ディネーターのCaseRole。") ComputingBrands.kif 1687-1688
(domain referee 1 Game) ComputingBrands.kif 1681-1681 Die Zahl 1 Argument von referee ist ein fall von Game %n{nicht}
(domain referee 2 AutonomousAgent) ComputingBrands.kif 1682-1682 Die Zahl 2 Argument von referee ist ein fall von AutonomousAgent %n{nicht}
(instance referee CaseRole) ComputingBrands.kif 1677-1677 referee ist ein fall von CaseRole %n{nicht}
(subrelation referee patient) ComputingBrands.kif 1678-1678 referee ist eine teilrelation von patient

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage referee "referee") domainEnglishFormat.kif 65921-65921


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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