| GameGoal | | game_goal, goal |
| appearance as argument number 1 |
|
|
| (defaultMaximumHeight GameGoal (MeasureFn 8 FootLength)) |
DimensioningAmenities.kif 875-875 | |
| (defaultMaximumLength GameGoal (MeasureFn 24 FootLength)) |
DimensioningAmenities.kif 879-879 | |
| (defaultMaximumMeasure GameGoal (MeasureFn 200 PoundMass)) |
DimensioningAmenities.kif 881-881 | |
| (defaultMaximumWidth GameGoal (MeasureFn 6 FootLength)) |
DimensioningAmenities.kif 877-877 | |
| (defaultMinimumHeight GameGoal (MeasureFn 4 FootLength)) |
DimensioningAmenities.kif 874-874 | |
| (defaultMinimumLength GameGoal (MeasureFn 6 FootLength)) |
DimensioningAmenities.kif 878-878 | |
| (defaultMinimumMeasure GameGoal (MeasureFn 30 PoundMass)) |
DimensioningAmenities.kif 880-880 | |
| (defaultMinimumWidth GameGoal (MeasureFn 3 FootLength)) |
DimensioningAmenities.kif 876-876 | |
| (documentation GameGoal EnglishLanguage "The location where a GameShot must end up if it is to constitute a Score.") | Mid-level-ontology.kif 14601-14602 | |
| (subclass GameGoal GameArtifact) | Mid-level-ontology.kif 14600-14600 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage GameGoal "game goal") | domainEnglishFormat.kif 4665-4665 |
| antecedent |
|
|
| (=> (and (instance ?GOAL GameGoal) (instrument ?GAME ?GOAL) (instance ?GAME Game) (subProcess ?SCORE ?GAME) (instance ?SCORE Score)) (exists (?PIECE ?TIME) (and (instance ?PIECE GamePiece) (patient ?SCORE ?PIECE) (temporalPart ?TIME (WhenFn ?SCORE)) (holdsDuring ?TIME (located ?PIECE ?GOAL))))) |
Mid-level-ontology.kif 14604-14616 |
|
|
|