|
|
  stays
|
|
|
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight BaseballBase (MeasureFn 5 Inch)) |
DimensioningAmenities.kif 956-956 | |
| (defaultMaximumLength BaseballBase (MeasureFn 15 Inch)) |
DimensioningAmenities.kif 960-960 | |
| (defaultMaximumMeasure BaseballBase (MeasureFn 10 PoundMass)) |
DimensioningAmenities.kif 962-962 | |
| (defaultMaximumWidth BaseballBase (MeasureFn 15 Inch)) |
DimensioningAmenities.kif 958-958 | |
| (defaultMinimumHeight BaseballBase (MeasureFn 0.5 Inch)) |
DimensioningAmenities.kif 955-955 | |
| (defaultMinimumLength BaseballBase (MeasureFn 15 Inch)) |
DimensioningAmenities.kif 959-959 | |
| (defaultMinimumMeasure BaseballBase (MeasureFn 0.5 PoundMass)) |
DimensioningAmenities.kif 961-961 | |
| (defaultMinimumWidth BaseballBase (MeasureFn 15 Inch)) |
DimensioningAmenities.kif 957-957 | |
| (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 EnglishLanguage BaseballBase "baseball base") | domainEnglishFormat.kif 2105-2105 |
| 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 |
|
|
|
