Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
BaseballTeam(baseball team)
|  | ball_club, baseball_club, baseball_team, club, farm_club, farm_team, nine |
| appearance as argument number 1 |
|
|
| (subclass BaseballTeam SportsTeam) | Sports.kif 776-776 | Baseball team is a subclass of sports team |
| (documentation BaseballTeam EnglishLanguage "The class of SportsTeams that play Baseball.") | Sports.kif 777-777 | Baseball team is a subclass of sports team |
| (externalImage BaseballTeam "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Buffalo_Blues%2C_baseball_team_1915.jpg") | pictureList.kif 4535-4535 | Baseball team is a subclass of sports team |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?TEAM BaseballTeam) (capability Baseball agent ?TEAM)) |
Sports.kif 779-781 | If X is an instance of baseball team, then X is capable of doing baseball as a agent |
|