| 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 8966-8966 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9f/ Wrigley_field_720.jpg") | pictureList.kif 8370-8370 | |
| (externalImage BaseballBase "http://upload.wikimedia.org/wikipedia/commons/ a/ a1/ Baseballpositions.png") | pictureList.kif 10492-10492 | |
| (subclass BaseballBase GameArtifact) | Sports.kif 609-609 |
| appearance as argument number 2 |
|
|
| (subclass HomeBase BaseballBase) | Sports.kif 621-621 | |
| (termFormat ChineseLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10020-10020 | |
| (termFormat ChineseTraditionalLanguage BaseballBase "棒球基地") | domainEnglishFormat.kif 10019-10019 | |
| (termFormat EnglishLanguage BaseballBase "baseball base") | domainEnglishFormat.kif 10018-10018 |
| 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 |
|
|
|