thawing_frozen_food-0


Synsets

Transition Paths By Task Scope Objects

graph TD;

Scenes

Full Definition

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

    (:objects
     	date.n.08_1 - date.n.08
    	electric_refrigerator.n.01_1 - electric_refrigerator.n.01
    	olive.n.04_1 - olive.n.04
    	lobster.n.01_1 lobster.n.01_2 lobster.n.01_3 lobster.n.01_4 - lobster.n.01
    	sink.n.01_1 - sink.n.01
    	floor.n.01_1 - floor.n.01
    	agent.n.01_1 - agent.n.01
    )
    
    (:init 
        (inside date.n.08_1 electric_refrigerator.n.01_1) 
        (inside olive.n.04_1 electric_refrigerator.n.01_1) 
        (inside lobster.n.01_1 electric_refrigerator.n.01_1) 
        (inside lobster.n.01_2 electric_refrigerator.n.01_1) 
        (inside lobster.n.01_3 electric_refrigerator.n.01_1) 
        (inside lobster.n.01_4 electric_refrigerator.n.01_1) 
        (frozen lobster.n.01_1) 
        (frozen lobster.n.01_2) 
        (frozen lobster.n.01_3) 
        (frozen lobster.n.01_4) 
        (frozen date.n.08_1) 
        (frozen olive.n.04_1) 
        (inroom sink.n.01_1 kitchen) 
        (inroom electric_refrigerator.n.01_1 kitchen) 
        (inroom floor.n.01_1 kitchen) 
        (ontop agent.n.01_1 floor.n.01_1)
    )
    
    (:goal 
        (and 
            (forall 
                (?lobster.n.01 - lobster.n.01)
                (not
                    (frozen ?lobster.n.01)
                )
            )
            (not
                (frozen ?date.n.08_1)
            )
            (not
                (frozen ?olive.n.04_1)
            )
        )
    )
)
  

Debugging: All Possible Recipes Resulting in Future Synsets

graph TD;