make_ice-0


Required Synsets

Name State Definition
countertop.n.01 Matched the top side of a counter
deep-freeze.n.02 Matched
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
ice_cube.n.01 Matched a small cube of artificial ice; used for cooling drinks
icetray.n.02 Matched
sink.n.01 Matched plumbing fixture consisting of a water basin fixed to a wall or floor and having a drainpipe
water.n.06 Substance a liquid necessary for the life of most animals and plants

Transition Paths By Task Scope Objects

graph TD; initial-deep-freezen02(initial: deep-freeze.n.02); future-ice_cuben01(future: ice_cube.n.01); initial-icetrayn02(initial: icetray.n.02); initial-watern06(initial: water.n.06); recipe-ice_cubes(recipe: ice_cubes); initial-deep-freezen02 --> recipe-ice_cubes; initial-icetrayn02 --> recipe-ice_cubes; initial-watern06 --> recipe-ice_cubes; recipe-ice_cubes --> future-ice_cuben01;

Scene Matching Status

Scene Status Reason
Beechwood_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Beechwood_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Beechwood_1_int Unmatched Cannot find suitable kitchen.
Benevolence_0_int Unmatched Cannot find suitable kitchen.
Benevolence_1_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Benevolence_2_int Unmatched Cannot find suitable kitchen.
Ihlen_0_int Unmatched Cannot find suitable kitchen.
Ihlen_1_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Merom_0_garden Unmatched Cannot find suitable kitchen.
Merom_0_int Unmatched Cannot find suitable kitchen.
Merom_1_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02, 1 countertop.n.01.
Pomaria_0_garden Unmatched Cannot find suitable kitchen.
Pomaria_0_int Unmatched Cannot find suitable kitchen.
Pomaria_1_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Pomaria_2_int Unmatched Cannot find suitable kitchen.
Rs_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Rs_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Wainscott_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Wainscott_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
Wainscott_1_int Unmatched Cannot find suitable kitchen.
gates_bedroom Unmatched Cannot find suitable kitchen.
grocery_store_asian Unmatched Cannot find suitable kitchen.
grocery_store_cafe Unmatched Cannot find suitable kitchen.
grocery_store_convenience Unmatched Cannot find suitable kitchen.
grocery_store_half_stocked Unmatched Cannot find suitable kitchen.
hall_arch_wood Unmatched Cannot find suitable kitchen.
hall_conference_large Unmatched Cannot find suitable kitchen.
hall_glass_ceiling Unmatched Cannot find suitable kitchen.
hall_train_station Unmatched Cannot find suitable kitchen.
hotel_gym_spa Unmatched Cannot find suitable kitchen.
hotel_suite_large Unmatched Cannot find suitable kitchen.
hotel_suite_small Unmatched Cannot find suitable kitchen.
house_double_floor_lower Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
house_double_floor_upper Unmatched Cannot find suitable kitchen.
house_single_floor Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
office_bike Unmatched Cannot find suitable kitchen.
office_cubicles_left Unmatched Cannot find suitable kitchen.
office_cubicles_right Unmatched Cannot find suitable kitchen.
office_large Unmatched Cannot find suitable kitchen.
office_vendor_machine Unmatched Cannot find suitable kitchen.
restaurant_asian Ready
restaurant_brunch Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
restaurant_cafeteria Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02, 1 sink.n.01.
restaurant_diner Ready
restaurant_hotel Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
restaurant_urban Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 deep-freeze.n.02.
school_biology Unmatched Cannot find suitable kitchen.
school_chemistry Unmatched Cannot find suitable kitchen.
school_computer_lab_and_infirmary Unmatched Cannot find suitable kitchen.
school_geography Unmatched Cannot find suitable kitchen.
school_gym Unmatched Cannot find suitable kitchen.

Full Definition

(define (problem make_ice-0)
    (:domain omnigibson)

    (:objects
        water.n.06_1 - water.n.06
        icetray.n.02_1 - icetray.n.02
        ice_cube.n.01_1 ice_cube.n.01_2 ice_cube.n.01_3 ice_cube.n.01_4 ice_cube.n.01_5 ice_cube.n.01_6 - ice_cube.n.01
        deep-freeze.n.02_1 - deep-freeze.n.02
        countertop.n.01_1 - countertop.n.01
        sink.n.01_1 - sink.n.01
        agent.n.01_1 - agent.n.01
        floor.n.01_1 - floor.n.01
    )
    
    (:init 
        (ontop icetray.n.02_1 countertop.n.01_1)
        (inroom deep-freeze.n.02_1 kitchen)
        (insource sink.n.01_1 water.n.06_1) 
        (inroom sink.n.01_1 kitchen)
        (future ice_cube.n.01_1) 
        (future ice_cube.n.01_2) 
        (future ice_cube.n.01_3) 
        (future ice_cube.n.01_4) 
        (future ice_cube.n.01_5) 
        (future ice_cube.n.01_6) 
        (inroom floor.n.01_1 kitchen)
        (inroom countertop.n.01_1 kitchen)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (real ?ice_cube.n.01_1) 
            (real ?ice_cube.n.01_2) 
            (real ?ice_cube.n.01_3) 
            (real ?ice_cube.n.01_4) 
            (real ?ice_cube.n.01_5) 
            (real ?ice_cube.n.01_6)
        )
    )
)

  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD; recipe-popsicles(recipe: popsicles); missing-ice_lollyn01(missing: ice_lolly.n.01); initial-floorn01(initial: floor.n.01); recipe-ice_cubes(recipe: ice_cubes); initial-watern06(initial: water.n.06); recipe-sinkn01-washer-cover(recipe: sink.n.01-washer-cover); missing-smoothien02(missing: smoothie.n.02); initial-sinkn01(initial: sink.n.01); recipe-countertopn01-washer-cover(recipe: countertop.n.01-washer-cover); initial-countertopn01(initial: countertop.n.01); initial-deep-freezen02(initial: deep-freeze.n.02); future-ice_cuben01(future: ice_cube.n.01); recipe-icetrayn02-washer-cover(recipe: icetray.n.02-washer-cover); recipe-deep-freezen02-washer-cover(recipe: deep-freeze.n.02-washer-cover); recipe-ice_lollyn01-washer-cover(recipe: ice_lolly.n.01-washer-cover); initial-icetrayn02(initial: icetray.n.02); recipe-floorn01-washer-cover(recipe: floor.n.01-washer-cover); recipe-popsicles --> missing-ice_lollyn01; missing-ice_lollyn01 --> recipe-ice_lollyn01-washer-cover; initial-floorn01 --> recipe-floorn01-washer-cover; recipe-ice_cubes --> future-ice_cuben01; initial-watern06 --> recipe-ice_cubes; recipe-sinkn01-washer-cover --> initial-sinkn01; recipe-sinkn01-washer-cover --> initial-watern06; missing-smoothien02 --> recipe-popsicles; initial-sinkn01 --> recipe-sinkn01-washer-cover; recipe-countertopn01-washer-cover --> initial-watern06; recipe-countertopn01-washer-cover --> initial-countertopn01; initial-countertopn01 --> recipe-countertopn01-washer-cover; initial-deep-freezen02 --> recipe-deep-freezen02-washer-cover; initial-deep-freezen02 --> recipe-ice_cubes; initial-deep-freezen02 --> recipe-popsicles; recipe-icetrayn02-washer-cover --> initial-icetrayn02; recipe-icetrayn02-washer-cover --> initial-watern06; recipe-deep-freezen02-washer-cover --> initial-watern06; recipe-deep-freezen02-washer-cover --> initial-deep-freezen02; recipe-ice_lollyn01-washer-cover --> missing-ice_lollyn01; recipe-ice_lollyn01-washer-cover --> initial-watern06; initial-icetrayn02 --> recipe-ice_cubes; initial-icetrayn02 --> recipe-icetrayn02-washer-cover; recipe-floorn01-washer-cover --> initial-floorn01; recipe-floorn01-washer-cover --> initial-watern06;