| 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 1223-1224 | |
| s__instance(s__ProfessionalAthlete,s__SetOrClass) s__instance(s__TennisProfessional,s__ProfessionalAthlete)
|
Sports.kif 1222-1222 | Tennis pro is an instance of professional athlete |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__TennisProfessional,'tennis pro')
|
Sports.kif 1225-1225 | "tennis pro" is the printable form of tennis pro in english language |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 1466-1479 |
|
| ( ! [V__ATHLETE] : (s__instance(V__ATHLETE,s__Agent)s__=>(s__attribute(V__ATHLETE,s__TennisProfessional)s__=>s__hasSkill(s__Tennis,V__ATHLETE))) )
|
Sports.kif 1227-1229 |
|
|
|