Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PlayArea(playground) |  | playground |
| appearance as argument number 1 |
|
|
| (subclass PlayArea Region) | Dining.kif 985-985 | Playground is a subclass of region |
| (documentation PlayArea EnglishLanguage "PlayArea refers to a Region where children engage in recreational activities") | Dining.kif 986-987 | Playground is a subclass of region |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PlayArea "playground") | Dining.kif 988-988 |
| antecedent |
|
|
| (=> (instance ?P PlayArea) (hasPurpose ?P (exists (?K ?REC) (and (instance ?REC RecreationOrExercise) (eventLocated ?REC ?P) (instance ?K HumanChild) (agent ?REC ?K))))) |
Dining.kif 990-998 | If X is an instance of playground, then X has the purpose there exist Y, Z such that Z is an instance of recreation or exercise, Z is located at X, Y is an instance of human child, and Y is an agent of Z |
|