| TennisProfessional(tennis pro) | | professional_tennis_player, tennis_pro |
| appearance as argument number 1 |
|
|
| s__documentation(s__TennisProfessional,s__EnglishLanguage,'"TennisProfessional is a ProfessionalAthlete that plays Tennis"')
|
Sports.kif 1225-1226 | |
| s__instance(s__ProfessionalAthlete,s__SetOrClass) s__instance(s__TennisProfessional,s__ProfessionalAthlete)
|
Sports.kif 1224-1224 | Tennis pro is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__TennisProfessional,'"tennis pro"')
|
Sports.kif 1227-1227 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1470-1483 |
|
| ( ! [V__ATHLETE] : (s__instance(V__ATHLETE,s__Agent) => s__attribute(V__ATHLETE,s__TennisProfessional) => s__hasSkill(s__Tennis,V__ATHLETE) ) )
|
Sports.kif 1229-1231 |
|
|
|