Cognitive modeling domain: experimental results.
1. movement_property(X1) =. moving :- type_object(X1) =. animate.
2. force_property(X1) =. acq_force :- state(X1) =. rolling.
3. movement_property(X1) =. moving :- force_property(X1) =. acq_force.
4. movement_property(X1) =. moving :- state(X1) =. creeping.
5. movement_property(X1) =. moving :- contain(X2,X1) =. true,movement_property(X2) =. moving.
6. force_property(X1) =. inner_force :- physical_object(X1) =. car.
7. movement_property(X1) =. still :- state(X1) =. quiet,ontop(X1,X2) =. true.
8. force_property(X1) =. inner_force :- type_object(X1) =. animate.
9. movement_property(X1) =. still :- pushed(X1,X2) =. true,movement_property(X2) =. still.
10. movement_property(X1) =. still :- contain(X2,X1) =. true,movement_property(X2) =. still.
11. force_property(X1) =. inner_force :- movement_property(X1) =. still,dimension(X1) =. medium.
12. force_property(X1) =. acq_force :- state(X1) =. falling.