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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ProfessionalAthlete
ProfessionalAthlete(professional athlete)hurdler, professional_athlete

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 1203-1204
(subclass ProfessionalAthlete SkilledOccupation) Sports.kif 1202-1202 Professional athlete is a subclass of skilled occupation

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


(instance BaseballPlayer ProfessionalAthlete) Sports.kif 236-236 BaseballPlayer is an instance of professional athlete
(instance BasketballPlayer ProfessionalAthlete) Sports.kif 238-238 BasketballPlayer is an instance of professional athlete
(instance Boxer ProfessionalAthlete) Sports.kif 240-240 Boxer is an instance of professional athlete
(instance CarRacingDriver ProfessionalAthlete) Sports.kif 242-242 CarRacingDriver is an instance of professional athlete
(instance Cricketer ProfessionalAthlete) Sports.kif 244-244 Cricketer is an instance of professional athlete
(instance Cyclist ProfessionalAthlete) Sports.kif 246-246 Cyclist is an instance of professional athlete
(instance FigureSkater ProfessionalAthlete) Sports.kif 247-247 FigureSkater is an instance of professional athlete
(instance FootballerSoccer ProfessionalAthlete) Sports.kif 250-250 FootballerSoccer is an instance of professional athlete
(instance FootballerUS ProfessionalAthlete) Sports.kif 248-248 FootballerUS is an instance of professional athlete
(instance FormulaOneDriver ProfessionalAthlete) Sports.kif 266-266 FormulaOneDriver is an instance of professional athlete
(instance Golfer ProfessionalAthlete) Sports.kif 252-252 Golfer is an instance of professional athlete
(instance Gymnast ProfessionalAthlete) Sports.kif 254-254 Gymnast is an instance of professional athlete
(instance HockeyPlayer ProfessionalAthlete) Sports.kif 259-259 HockeyPlayer is an instance of professional athlete
(instance IceHockeyPlayer ProfessionalAthlete) Sports.kif 261-261 IceHockeyPlayer is an instance of professional athlete
(instance LacrossePlayer ProfessionalAthlete) Sports.kif 257-257 LacrossePlayer is an instance of professional athlete
(instance MarksmanProfessional ProfessionalAthlete) Sports.kif 263-263 MarksmanProfessional is an instance of professional athlete
(instance MotorcycleRider ProfessionalAthlete) Sports.kif 273-273 MotorcycleRider is an instance of professional athlete
(instance RacingCarDriver ProfessionalAthlete) Sports.kif 269-269 RacingCarDriver is an instance of professional athlete
(instance RockClimber ProfessionalAthlete) Sports.kif 271-271 RockClimber is an instance of professional athlete
(instance RugbyPlayer ProfessionalAthlete) Sports.kif 255-255 RugbyPlayer is an instance of professional athlete
(instance Swimmer ProfessionalAthlete) Sports.kif 264-264 Swimmer is an instance of professional athlete
(instance TennisProfessional ProfessionalAthlete) Sports.kif 1222-1222 Tennis pro is an instance of professional athlete
(instance Wrestler ProfessionalAthlete) Sports.kif 275-275 Wrestler is an instance of professional athlete
(termFormat EnglishLanguage ProfessionalAthlete "professional athlete") Sports.kif 1205-1205 "professional athlete" is the printable form of professional athlete in english language

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


(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (exists (?GAME)
        (and
            (instance ?GAME Sport)
            (contestParticipant ?GAME ?ATHLETE))))
Sports.kif 1213-1220
(=>
    (and
        (attribute ?ATHLETE ?PA)
        (instance ?PA ProfessionalAthlete))
    (hasSkill Sport ?ATHLETE))
Sports.kif 1207-1211


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners