| ProfessionalAthlete(professional athlete) | | hurdler |
| 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 | Professional athlete is a subclass of skilled occupation |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 350-350 | Baseball player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 352-352 | Basketball player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 354-354 | Boxer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 356-356 | Car racing driver is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 358-358 | Cricketer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 360-360 | Cyclist is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 361-361 | Figure skater is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 364-364 | Footballer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 362-362 | Footballer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 380-380 | Formula one driver is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 366-366 | Golfer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 368-368 | Gymnast is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 373-373 | Hockey player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 375-375 | Ice hockey player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 371-371 | Lacrosse player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 377-377 | Marksman professional is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 387-387 | Motorcycle rider is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 383-383 | Racing car driver is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 385-385 | Rock climber is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 369-369 | Rugby player is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 378-378 | Swimmer is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 1372-1372 | Tennis pro is an instance of professional athlete |
| No TPTP formula. May not be expressible in strict first order. | Sports.kif 389-389 | Wrestler is an instance of professional athlete |
| 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 |
|
|
|
|