BaseballField
|
|
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 | 棒球场 是 体育设施 的 subclass |
appearance as argument number 2 |
(termFormat ChineseLanguage BaseballField "棒球场") | domainEnglishFormat.kif 10038-10038 | |
(termFormat ChineseTraditionalLanguage BaseballField "棒球場") | domainEnglishFormat.kif 10037-10037 | |
(termFormat EnglishLanguage BaseballField "baseball field") | domainEnglishFormat.kif 10036-10036 |
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 |