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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProfessionalGamePlayer
ProfessionalGamePlayer

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


(documentation ProfessionalGamePlayer EnglishLanguage "A person who earns a living playing a game.") Sports.kif 378-378
(subclass ProfessionalGamePlayer SkilledOccupation) Sports.kif 377-377

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


(instance ChessPlayer ProfessionalGamePlayer) Sports.kif 385-385
(instance DartsPlayer ProfessionalGamePlayer) Sports.kif 389-389
(instance GoPlayer ProfessionalGamePlayer) Sports.kif 393-393
(instance PokerPlayer ProfessionalGamePlayer) Sports.kif 391-391
(instance SnookerPlayer ProfessionalGamePlayer) Sports.kif 387-387


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