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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProfessionalAthlete

Sigma KEE - ProfessionalAthlete
ProfessionalAthlete(professional athlete)hurdler

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 1281-1282
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1280-1280 Professional athlete is a subclass of skilled occupation

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


(instance BaseballPlayer ProfessionalAthlete) Sports.kif 281-281 BaseballPlayer is an instance of professional athlete
(instance BasketballPlayer ProfessionalAthlete) Sports.kif 283-283 BasketballPlayer is an instance of professional athlete
(instance Boxer ProfessionalAthlete) Sports.kif 285-285 Boxer is an instance of professional athlete
(instance CarRacingDriver ProfessionalAthlete) Sports.kif 287-287 CarRacingDriver is an instance of professional athlete
(instance Cricketer ProfessionalAthlete) Sports.kif 289-289 Cricketer is an instance of professional athlete
(instance Cyclist ProfessionalAthlete) Sports.kif 291-291 Cyclist is an instance of professional athlete
(instance FigureSkater ProfessionalAthlete) Sports.kif 292-292 FigureSkater is an instance of professional athlete
(instance FootballerSoccer ProfessionalAthlete) Sports.kif 295-295 FootballerSoccer is an instance of professional athlete
(instance FootballerUS ProfessionalAthlete) Sports.kif 293-293 FootballerUS is an instance of professional athlete
(instance FormulaOneDriver ProfessionalAthlete) Sports.kif 311-311 FormulaOneDriver is an instance of professional athlete
(instance Golfer ProfessionalAthlete) Sports.kif 297-297 Golfer is an instance of professional athlete
(instance Gymnast ProfessionalAthlete) Sports.kif 299-299 Gymnast is an instance of professional athlete
(instance HockeyPlayer ProfessionalAthlete) Sports.kif 304-304 HockeyPlayer is an instance of professional athlete
(instance IceHockeyPlayer ProfessionalAthlete) Sports.kif 306-306 IceHockeyPlayer is an instance of professional athlete
(instance LacrossePlayer ProfessionalAthlete) Sports.kif 302-302 LacrossePlayer is an instance of professional athlete
(instance MarksmanProfessional ProfessionalAthlete) Sports.kif 308-308 MarksmanProfessional is an instance of professional athlete
(instance MotorcycleRider ProfessionalAthlete) Sports.kif 318-318 MotorcycleRider is an instance of professional athlete
(instance RacingCarDriver ProfessionalAthlete) Sports.kif 314-314 RacingCarDriver is an instance of professional athlete
(instance RockClimber ProfessionalAthlete) Sports.kif 316-316 RockClimber is an instance of professional athlete
(instance RugbyPlayer ProfessionalAthlete) Sports.kif 300-300 RugbyPlayer is an instance of professional athlete
(instance Swimmer ProfessionalAthlete) Sports.kif 309-309 Swimmer is an instance of professional athlete
(instance TennisProfessional ProfessionalAthlete) Sports.kif 1300-1300 Tennis pro is an instance of professional athlete
(instance Wrestler ProfessionalAthlete) Sports.kif 320-320 Wrestler is an instance of professional athlete
(termFormat EnglishLanguage ProfessionalAthlete "professional athlete") Sports.kif 1283-1283

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


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))
Sports.kif 1291-1298
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1285-1289


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