prepare_and_cook_prawns-0


Required Synsets

Name State Definition
butter.n.01 Matched an edible emulsion of fat globules made by churning milk or cream; for cooking and table use
carving_knife.n.01 Matched a large knife used to carve cooked meat
chopping_board.n.01 Matched a wooden board where meats or vegetables can be cut
clove.n.03 Matched one of the small bulblets that can be split off of the axis of a larger garlic bulb
countertop.n.01 Matched the top side of a counter
electric_refrigerator.n.01 Matched a refrigerator in which the coolant is pumped around by an electric motor
floor.n.01 Matched the inside lower horizontal surface (as of a room, hallway, tent, or other structure)
frying_pan.n.01 Matched a pan used for frying foods
plate.n.04 Matched dish on which food is served or from which food is eaten
prawn.n.01 Matched any of various edible decapod crustaceans
salt.n.02 Substance white crystalline form of especially sodium chloride used to season and preserve food
salt__shaker.n.01 Matched
stove.n.01 Matched a kitchen appliance used for cooking food

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene Status Reason
Beechwood_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01.
Beechwood_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01.
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 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
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 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
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 electric_refrigerator.n.01, 1 stove.n.01, 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 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
Pomaria_2_int Unmatched Cannot find suitable kitchen.
Rs_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
Rs_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
Wainscott_0_garden Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
Wainscott_0_int Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
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 electric_refrigerator.n.01, 1 stove.n.01, 1 countertop.n.01.
house_double_floor_upper Unmatched Cannot find suitable kitchen.
house_single_floor Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01, 1 stove.n.01.
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 Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01.
restaurant_brunch Ready
restaurant_cafeteria Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01.
restaurant_diner Unmatched Cannot find suitable kitchen: kitchen_0 is missing 1 electric_refrigerator.n.01.
restaurant_hotel Ready
restaurant_urban Ready
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 prepare_and_cook_prawns-0)
    (:domain omnigibson)

    (:objects
        stove.n.01_1 - stove.n.01
        prawn.n.01_1 prawn.n.01_2 prawn.n.01_3 prawn.n.01_4 prawn.n.01_5 prawn.n.01_6 - prawn.n.01
        frying_pan.n.01_1 - frying_pan.n.01
        butter.n.01_1 - butter.n.01
        clove.n.03_1 clove.n.03_2 clove.n.03_3 - clove.n.03
        chopping_board.n.01_1 - chopping_board.n.01
        carving_knife.n.01_1 - carving_knife.n.01
        countertop.n.01_1 - countertop.n.01
        salt.n.02_1 - salt.n.02
        salt__shaker.n.01_1 - salt__shaker.n.01
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        plate.n.04_1 - plate.n.04
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (not
            (toggled_on stove.n.01_1)
        )
        (inside prawn.n.01_1 electric_refrigerator.n.01_1)
        (inside prawn.n.01_2 electric_refrigerator.n.01_1)
        (inside prawn.n.01_3 electric_refrigerator.n.01_1)
        (inside prawn.n.01_4 electric_refrigerator.n.01_1)
        (inside prawn.n.01_5 electric_refrigerator.n.01_1)
        (inside prawn.n.01_6 electric_refrigerator.n.01_1)
        (frozen prawn.n.01_1)
        (frozen prawn.n.01_2)
        (frozen prawn.n.01_3)
        (frozen prawn.n.01_4)
        (frozen prawn.n.01_5)
        (frozen prawn.n.01_6)
        (not
            (cooked prawn.n.01_1)
        )
        (not
            (cooked prawn.n.01_2)
        )
        (not
            (cooked prawn.n.01_3)
        )
        (not
            (cooked prawn.n.01_4)
        )
        (not
            (cooked prawn.n.01_5)
        )
        (not
            (cooked prawn.n.01_6)
        )
        (inside butter.n.01_1 electric_refrigerator.n.01_1)
        (inside clove.n.03_1 electric_refrigerator.n.01_1)
        (inside clove.n.03_2 electric_refrigerator.n.01_1)
        (inside clove.n.03_3 electric_refrigerator.n.01_1)
        (insource salt__shaker.n.01_1 salt.n.02_1)
        (ontop salt__shaker.n.01_1 countertop.n.01_1)
        (ontop chopping_board.n.01_1 countertop.n.01_1)
        (ontop carving_knife.n.01_1 countertop.n.01_1)
        (ontop plate.n.04_1 countertop.n.01_1)
        (ontop frying_pan.n.01_1 countertop.n.01_1)
        (inroom electric_refrigerator.n.01_1 kitchen)
        (inroom stove.n.01_1 kitchen)
        (inroom countertop.n.01_1 kitchen)
        (inroom floor.n.01_1 kitchen)
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall
                (?prawn.n.01 - prawn.n.01)
                (and
                    (cooked ?prawn.n.01)
                    (ontop ?prawn.n.01 ?plate.n.04_1)
                    (covered ?prawn.n.01 ?salt.n.02_1)
                )
            )
            (forall
                (?clove.n.03 - clove.n.03)
                (and
                    (cooked ?clove.n.03)
                    (ontop ?clove.n.03 ?plate.n.04_1)
                )
            )
            (ontop ?butter.n.01_1 ?plate.n.04_1)
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;