ProfessionalAthlete
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1354-1355 | |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1353-1353 | 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 1373-1373 | 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 1356-1356 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1364-1371 |
|
No TPTP formula. May not be expressible in strict first order. | Sports.kif 1358-1362 |
|