| 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 610-612 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 1/ 14/ Baseball_field_overview.png") | pictureList.kif 8965-8965 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") | pictureList.kif 8369-8369 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") | pictureList.kif 10491-10491 | |
| (subclass BaseballBase GameArtifact) | Sports.kif 609-609 |
| appearance as argument number 2 |
|
|
| (subclass HomeBase BaseballBase) | Sports.kif 621-621 | |
| (termFormat ChineseLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10023-10023 | |
| (termFormat ChineseTraditionalLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10022-10022 | |
| (termFormat EnglishLanguage BaseballBase "baseball base") | domainEnglishFormat.kif 10021-10021 |
| antecedent |
|
|
| (=> (instance ?B BaseballBase) (hasPurpose ?B (exists (?G) (and (instance ?G Baseball) (patient ?G ?B))))) |
Sports.kif 613-619 |
| 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 711-732 |
|
|
|