| BaseballBase
| |
| appearance as argument number 1 |
|
|
| (documentation BaseballBase EnglishLanguage "Any of four regions which must each be successively touched after a BaseballHit in order to complete a BaseballRun.") | Sports.kif 496-498 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png") | pictureList.kif 8971-8971 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") | pictureList.kif 8372-8372 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") | pictureList.kif 10513-10513 | |
| (subclass BaseballBase GameArtifact) | Sports.kif 495-495 |
| appearance as argument number 2 |
|
|
| (subclass HomeBase BaseballBase) | Sports.kif 507-507 | |
| (termFormat ChineseLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10029-10029 | |
| (termFormat ChineseTraditionalLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10028-10028 | |
| (termFormat EnglishLanguage BaseballBase "baseball base") | domainEnglishFormat.kif 10027-10027 |
| antecedent |
|
|
| (=> (instance ?B BaseballBase) (hasPurpose ?B (exists (?G) (and (instance ?G Baseball) (patient ?G ?B))))) |
Sports.kif 499-505 |
| consequent |
|
|
| (=> (instance ?HR BaseballRun) (exists (?T1 ?T2 ?T3 ?T4 ?B1 ?B2 ?B3 ?B4) (and (instance ?T1 Touching) (instance ?T2 Touching) (instance ?T3 Touching) (instance ?T4 Touching) (instance ?B1 BaseballBase) (instance ?B2 BaseballBase) (instance ?B3 BaseballBase) (instance ?B4 BaseballBase) (not (equal ?B1 ?B2)) (not (equal ?B1 ?B3)) (not (equal ?B1 ?B4)) (not (equal ?B2 ?B3)) (not (equal ?B2 ?B4)) (not (equal ?B3 ?B4)) (subProcess ?T1 ?HR) (subProcess ?T2 ?HR) (subProcess ?T3 ?HR) (subProcess ?T4 ?HR)))) |
Sports.kif 597-618 |
|
|
|