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 子類 ProfessionalAthlete and 熟練的職業

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


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