moving_stuff_to_storage-0
Synsets
Transition Paths By Task Scope Objects
graph TD;
Scenes
- Matched:
- Planned:
- Unmatched:
Full Definition
(define (problem moving_stuff_to_storage-0)
(:domain omnigibson)
(:objects
floor.n.01_1 floor.n.01_2 - floor.n.01
ice_skate.n.01_1 ice_skate.n.01_2 - ice_skate.n.01
shelf.n.01_1 - shelf.n.01
bowling_ball.n.01_1 - bowling_ball.n.01
painting.n.01_1 - painting.n.01
textbook.n.01_1 textbook.n.01_2 - textbook.n.01
carton.n.02_1 carton.n.02_2 - carton.n.02
agent.n.01_1 - agent.n.01
)
(:init
(inside ice_skate.n.01_1 shelf.n.01_1)
(inside ice_skate.n.01_2 shelf.n.01_1)
(ontop bowling_ball.n.01_1 floor.n.01_1)
(inside textbook.n.01_1 shelf.n.01_1)
(inside textbook.n.01_2 shelf.n.01_1)
(ontop painting.n.01_1 floor.n.01_1)
(ontop carton.n.02_1 floor.n.01_1)
(ontop carton.n.02_2 floor.n.01_1)
(ontop agent.n.01_1 floor.n.01_1)
(inroom shelf.n.01_1 living_room)
(inroom floor.n.01_1 living_room)
(inroom floor.n.01_2 storage_room)
)
(:goal
(and
(forn
(1)
(?carton.n.02 - carton.n.02)
(and
(forall
(?ice_skate.n.01 - ice_skate.n.01)
(inside ?ice_skate.n.01 ?carton.n.02)
)
(forall
(?bowling_ball.n.01 - bowling_ball.n.01)
(inside ?bowling_ball.n.01 ?carton.n.02)
)
(not
(inside ?textbook.n.01_1 ?carton.n.02)
)
)
)
(forn
(1)
(?carton.n.02 - carton.n.02)
(and
(forall
(?textbook.n.01 - textbook.n.01)
(inside ?textbook.n.01 ?carton.n.02)
)
(inside ?painting.n.01_1 ?carton.n.02)
(not
(inside ?bowling_ball.n.01_1 ?carton.n.02)
)
)
)
)
)
)
Debugging: All Possible Recipes Resulting in Future Synsets
graph TD;