| BaseballTeam
| |
| appearance as argument number 1 |
|
|
| (documentation BaseballTeam EnglishLanguage "The class of SportsTeams that play Baseball.") | Sports.kif 751-751 | |
| (externalImage BaseballTeam "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Buffalo_Blues%2C_baseball_team_1915.jpg") | pictureList.kif 4535-4535 | |
| (subclass BaseballTeam SportsTeam) | Sports.kif 750-750 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballTeam "棒球队") | domainEnglishFormat.kif 10089-10089 | |
| (termFormat ChineseTraditionalLanguage BaseballTeam "棒球隊") | domainEnglishFormat.kif 10088-10088 | |
| (termFormat EnglishLanguage BaseballTeam "baseball team") | domainEnglishFormat.kif 10087-10087 |
| antecedent |
|
|
| (=> (instance ?TEAM BaseballTeam) (capability Baseball agent ?TEAM)) |
Sports.kif 753-755 |
|
|
|