-
Notifications
You must be signed in to change notification settings - Fork 11
/
Shape_world
25 lines (25 loc) · 1.1 KB
/
Shape_world
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
<<($1 * $2) --> larger> ==> <($2 * $1) --> smaller>>.
<<($1 * $2) --> smaller> ==> <($2 * $1) --> larger>>.
<<($1 * $2) --> above> ==> <($2 * $1) --> below>>.
<<($1 * $2) --> next_to> <=> <($2 * $1) --> next_to>>.
<<($1 * $2) --> over> ==> <($2 * $1) --> under>>.
<<($1 * $2) --> under> ==> <($2 * $1) --> over>>.
<<($1 * $2) --> outside> ==> <($2 * $1) --> inside>>.
<<($1 * $2) --> inside> ==> <($2 * $1) --> contains>>.
<<($1 * $2) --> contains> ==> <($1 * $2) --> larger>>.
<<($1 * $2) --> on> ==> <($2 * $1) --> under>>.
<<({$1} * {$2}) --> inside> ==> <({$2} * {$1}) --> contains>>.
<({box} * floor) --> on>.
<({toy} * {box}) --> inside>.
<({ball} * {box}) --> on>.
<<$1 --> (inside / _ $2)> ==> <$2 --> (contains / _ $1)>>.
<<$1 --> (contains / _ $2)> ==> <$1 --> (larger / _ $2)>>.
<<$1 --> (smaller / _ $2)> ==> <$2 --> (larger / _ $1)>>.
<<$1 --> (larger / _ $2)> ==> <$2 --> (smaller / _ $1)>>.
<{?1} --> (on / _ floor)>?
<{?1} --> (on / {ball} _)>?
<{?1} --> (under / _ {ball})>?
<{?1} --> (contains / _ {toy})>?
<{box} --> (larger / _ {toy})>?
<{toy} --> (smaller / _ {box})>?
<?1 --> (on / _ (on / _ floor))>?