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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ProfessionalAthlete

 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 ProfessionalAthlete ist eine teilkategorie von SkilledOccupation

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


(instance BaseballPlayer ProfessionalAthlete) Sports.kif 350-350 BaseballPlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance BasketballPlayer ProfessionalAthlete) Sports.kif 352-352 BasketballPlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance Boxer ProfessionalAthlete) Sports.kif 354-354 Boxer ist ein fall von ProfessionalAthlete %n{nicht}
(instance CarRacingDriver ProfessionalAthlete) Sports.kif 356-356 CarRacingDriver ist ein fall von ProfessionalAthlete %n{nicht}
(instance Cricketer ProfessionalAthlete) Sports.kif 358-358 Cricketer ist ein fall von ProfessionalAthlete %n{nicht}
(instance Cyclist ProfessionalAthlete) Sports.kif 360-360 Cyclist ist ein fall von ProfessionalAthlete %n{nicht}
(instance FigureSkater ProfessionalAthlete) Sports.kif 361-361 FigureSkater ist ein fall von ProfessionalAthlete %n{nicht}
(instance FootballerSoccer ProfessionalAthlete) Sports.kif 364-364 FootballerSoccer ist ein fall von ProfessionalAthlete %n{nicht}
(instance FootballerUS ProfessionalAthlete) Sports.kif 362-362 FootballerUS ist ein fall von ProfessionalAthlete %n{nicht}
(instance FormulaOneDriver ProfessionalAthlete) Sports.kif 380-380 FormulaOneDriver ist ein fall von ProfessionalAthlete %n{nicht}
(instance Golfer ProfessionalAthlete) Sports.kif 366-366 Golfer ist ein fall von ProfessionalAthlete %n{nicht}
(instance Gymnast ProfessionalAthlete) Sports.kif 368-368 Gymnast ist ein fall von ProfessionalAthlete %n{nicht}
(instance HockeyPlayer ProfessionalAthlete) Sports.kif 373-373 HockeyPlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance IceHockeyPlayer ProfessionalAthlete) Sports.kif 375-375 IceHockeyPlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance LacrossePlayer ProfessionalAthlete) Sports.kif 371-371 LacrossePlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance MarksmanProfessional ProfessionalAthlete) Sports.kif 377-377 MarksmanProfessional ist ein fall von ProfessionalAthlete %n{nicht}
(instance MotorcycleRider ProfessionalAthlete) Sports.kif 387-387 MotorcycleRider ist ein fall von ProfessionalAthlete %n{nicht}
(instance RacingCarDriver ProfessionalAthlete) Sports.kif 383-383 RacingCarDriver ist ein fall von ProfessionalAthlete %n{nicht}
(instance RockClimber ProfessionalAthlete) Sports.kif 385-385 RockClimber ist ein fall von ProfessionalAthlete %n{nicht}
(instance RugbyPlayer ProfessionalAthlete) Sports.kif 369-369 RugbyPlayer ist ein fall von ProfessionalAthlete %n{nicht}
(instance Swimmer ProfessionalAthlete) Sports.kif 378-378 Swimmer ist ein fall von ProfessionalAthlete %n{nicht}
(instance TennisProfessional ProfessionalAthlete) Sports.kif 1372-1372 TennisProfessional ist ein fall von ProfessionalAthlete %n{nicht}
(instance Wrestler ProfessionalAthlete) Sports.kif 389-389 Wrestler ist ein fall von ProfessionalAthlete %n{nicht}
(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 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