| PlayArea(playground) | | playground |
| appearance as argument number 1 |
|
|
| (documentation PlayArea EnglishLanguage "PlayArea refers to a Region where children engage in recreational activities") | Dining.kif 983-984 | |
| (subclass PlayArea Region) | Dining.kif 982-982 | Playground is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PlayArea "playground") | Dining.kif 985-985 |
| antecedent |
|
|
| (=> (instance ?P PlayArea) (hasPurpose ?P (exists (?K ?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?P) (instance ?K HumanChild) (agent ?REC ?K))))) |
Dining.kif 987-995 |
|
|
|
|