| BaseballField(baseball field)
| | ball_field, baseball_field, diamond |
| appearance as argument number 1 |
|
|
| (documentation BaseballField EnglishLanguage "A SportsFacility which is dedicated to Baseball.") | Sports.kif 674-675 | |
| (externalImage BaseballField "http://articulatesoftware.com/SUMOpictures/ recreation/ sports/ baseball/ Diamond_03.png") | pictureList.kif 388-388 | |
| (subclass BaseballField SportsFacility) | Sports.kif 673-673 | Baseball field is a subclass of sports facility |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage BaseballField "棒球场") | domainEnglishFormat.kif 10046-10046 | |
| (termFormat ChineseTraditionalLanguage BaseballField "棒球場") | domainEnglishFormat.kif 10045-10045 | |
| (termFormat EnglishLanguage BaseballField "baseball field") | domainEnglishFormat.kif 10044-10044 |
| antecedent |
|
|
| (=> (instance ?F BaseballField) (hasPurpose ?F (exists (?S) (and (instance ?S Baseball) (eventLocated ?S ?F))))) |
Sports.kif 676-682 |
|
| consequent |
|
|
| (=> (instance ?D BaseballDugout) (exists (?F) (and (instance ?F BaseballField) (located ?D ?F)))) |
Sports.kif 651-656 |
|
|
|
|