| 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 是 熟练的职业 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 350-350 | BaseballPlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 352-352 | BasketballPlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 354-354 | Boxer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 356-356 | CarRacingDriver 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 358-358 | Cricketer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 360-360 | Cyclist 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 361-361 | FigureSkater 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 364-364 | FootballerSoccer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 362-362 | FootballerUS 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 380-380 | FormulaOneDriver 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 366-366 | Golfer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 368-368 | Gymnast 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 373-373 | HockeyPlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 375-375 | IceHockeyPlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 371-371 | LacrossePlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 377-377 | MarksmanProfessional 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 387-387 | MotorcycleRider 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 383-383 | RacingCarDriver 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 385-385 | RockClimber 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 369-369 | RugbyPlayer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 378-378 | Swimmer 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1372-1372 | TennisProfessional 是 ProfessionalAthlete 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 389-389 | Wrestler 是 ProfessionalAthlete 的 instance |
| 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 |
|
|
|