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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProfessionalAthlete
ProfessionalAthlete

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


(documentation ProfessionalAthlete EnglishLanguage "ProfessionalAthlete is a person who is trained to compete in sports and makes his living from doing so.") Sports.kif 1353-1354
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1352-1352

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


(instance BaseballPlayer ProfessionalAthlete) Sports.kif 350-350
(instance BasketballPlayer ProfessionalAthlete) Sports.kif 352-352
(instance Boxer ProfessionalAthlete) Sports.kif 354-354
(instance CarRacingDriver ProfessionalAthlete) Sports.kif 356-356
(instance Cricketer ProfessionalAthlete) Sports.kif 358-358
(instance Cyclist ProfessionalAthlete) Sports.kif 360-360
(instance FigureSkater ProfessionalAthlete) Sports.kif 361-361
(instance FootballerSoccer ProfessionalAthlete) Sports.kif 364-364
(instance FootballerUS ProfessionalAthlete) Sports.kif 362-362
(instance FormulaOneDriver ProfessionalAthlete) Sports.kif 380-380
(instance Golfer ProfessionalAthlete) Sports.kif 366-366
(instance Gymnast ProfessionalAthlete) Sports.kif 368-368
(instance HockeyPlayer ProfessionalAthlete) Sports.kif 373-373
(instance IceHockeyPlayer ProfessionalAthlete) Sports.kif 375-375
(instance LacrossePlayer ProfessionalAthlete) Sports.kif 371-371
(instance MarksmanProfessional ProfessionalAthlete) Sports.kif 377-377
(instance MotorcycleRider ProfessionalAthlete) Sports.kif 387-387
(instance RacingCarDriver ProfessionalAthlete) Sports.kif 383-383
(instance RockClimber ProfessionalAthlete) Sports.kif 385-385
(instance RugbyPlayer ProfessionalAthlete) Sports.kif 369-369
(instance Swimmer ProfessionalAthlete) Sports.kif 378-378
(instance TennisProfessional ProfessionalAthlete) Sports.kif 1372-1372
(instance Wrestler ProfessionalAthlete) Sports.kif 389-389
(termFormat EnglishLanguage ProfessionalAthlete "professional athlete") Sports.kif 1355-1355

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


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))
Sports.kif 1363-1370
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1357-1361


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