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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BasketballPlayer
BasketballPlayer(basketball player)basketball_player, basketeer, cager, center, dribbler, dunker, guard

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


(documentation BasketballPlayer EnglishLanguage "An athlete who plays basketball.") Sports.kif 353-353
(instance BasketballPlayer ProfessionalAthlete) Sports.kif 352-352 Basketball player is an instance of professional athlete

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


(termFormat EnglishLanguage BasketballPlayer "basketball player") domainEnglishFormat.kif 64551-64551

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


(=>
    (attribute ?ATHLETE BasketballPlayer)
    (hasSkill Basketball ?ATHLETE))		 Sports.kif 396-398


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