| ProfessionalAthlete | |
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1353-1354 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1352-1352 | 子類 ProfessionalAthlete and 熟練的職業 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 350-350 | 例 BaseballPlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 352-352 | 例 BasketballPlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 354-354 | 例 Boxer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 356-356 | 例 CarRacingDriver and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 358-358 | 例 Cricketer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 360-360 | 例 Cyclist and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 361-361 | 例 FigureSkater and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 364-364 | 例 FootballerSoccer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 362-362 | 例 FootballerUS and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 380-380 | 例 FormulaOneDriver and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 366-366 | 例 Golfer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 368-368 | 例 Gymnast and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 373-373 | 例 HockeyPlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 375-375 | 例 IceHockeyPlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 371-371 | 例 LacrossePlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 377-377 | 例 MarksmanProfessional and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 387-387 | 例 MotorcycleRider and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 383-383 | 例 RacingCarDriver and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 385-385 | 例 RockClimber and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 369-369 | 例 RugbyPlayer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 378-378 | 例 Swimmer and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1372-1372 | 例 TennisProfessional and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 389-389 | 例 Wrestler and ProfessionalAthlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1355-1355 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1363-1370 | |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1357-1361 |
|
|
|