| BaseballDugout
| |
| appearance as argument number 1 |
|
|
| (documentation BaseballDugout EnglishLanguage "A Building which is used to house the members of both Baseball teams while a game is being played.") | Sports.kif 649-650 | |
| (externalImage BaseballDugout "http://upload.wikimedia.org/wikipedia/commons/ f/ f8/ Dugout_baseball.jpg") | pictureList.kif 1652-1652 | |
| (subclass BaseballDugout Building) | Sports.kif 648-648 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballDugout "棒球独木舟") | domainEnglishFormat.kif 10035-10035 | |
| (termFormat ChineseTraditionalLanguage BaseballDugout "棒球獨木舟") | domainEnglishFormat.kif 10034-10034 | |
| (termFormat EnglishLanguage BaseballDugout "baseball dugout") | domainEnglishFormat.kif 10033-10033 |
| antecedent |
|
|
| (=> (instance ?D BaseballDugout) (exists (?F) (and (instance ?F BaseballField) (located ?D ?F)))) |
Sports.kif 651-656 |
|
|
|