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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SnookerPlayer
SnookerPlayer

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


(documentation SnookerPlayer EnglishLanguage "A person who plays Snooker.") Sports.kif 457-457
(instance SnookerPlayer ProfessionalGamePlayer) Sports.kif 456-456 SnookerPlayer est une instance de ProfessionalGamePlayer

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


(termFormat EnglishLanguage SnookerPlayer "snooker player") domainEnglishFormat.kif 65507-65507

antecedent
-------------------------


(=>
    (attribute ?PERSON SnookerPlayer)
    (hasSkill Snooker ?PERSON))
Sports.kif 491-493


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