thaw_frozen_fish-0

Required Synsets

Name	State	Definition
countertop.n.01	Matched	the top side of a counter
crayfish.n.02	Matched	tiny lobster-like crustaceans usually boiled briefly
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)
microwave.n.02	Matched	kitchen appliance that cooks food by passing an electromagnetic wave through it; heat results from the absorption of energy by the water molecules in the food
plate.n.04	Matched	dish on which food is served or from which food is eaten

Transition Paths By Task Scope Objects

graph TD;

Scene Matching Status

Scene	Status	Reason
Beechwood_0_garden	Ready
Beechwood_0_int	Ready
Beechwood_1_int	Unmatched	Cannot find suitable kitchen.
Benevolence_0_int	Unmatched	Cannot find suitable kitchen.
Benevolence_1_int	Ready
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 microwave.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 microwave.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	Ready
Pomaria_2_int	Unmatched	Cannot find suitable kitchen.
Rs_garden	Ready
Rs_int	Ready
Wainscott_0_garden	Ready
Wainscott_0_int	Ready
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 microwave.n.02.
house_double_floor_upper	Unmatched	Cannot find suitable kitchen.
house_single_floor	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.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	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.n.02.
restaurant_brunch	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.n.02.
restaurant_cafeteria	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.n.02.
restaurant_diner	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.n.02.
restaurant_hotel	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.n.02.
restaurant_urban	Unmatched	Cannot find suitable kitchen: kitchen_0 is missing 1 microwave.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 thaw_frozen_fish-0)
    (:domain omnigibson)

    (:objects
        crayfish.n.02_1 crayfish.n.02_2 - crayfish.n.02
        plate.n.04_1 - plate.n.04
        electric_refrigerator.n.01_1 - electric_refrigerator.n.01
        microwave.n.02_1 - microwave.n.02
        countertop.n.01_1 - countertop.n.01
        floor.n.01_1 - floor.n.01
        agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (ontop crayfish.n.02_1 plate.n.04_1) 
        (ontop crayfish.n.02_2 plate.n.04_1) 
        (frozen crayfish.n.02_1)
        (frozen crayfish.n.02_2)
        (inside plate.n.04_1 electric_refrigerator.n.01_1) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom microwave.n.02_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 
                (?crayfish.n.02 - crayfish.n.02)
                (not 
                    (frozen ?crayfish.n.02)
                )
            )
        )
    )
)

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;