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 是 熟练的职业 的 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 1373-1373 | 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 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 |