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