| Name | State | Definition |
|---|---|---|
| detergent.n.02 | Substance | a cleansing agent that differs from soap but can also emulsify oils and hold dirt in suspension |
| detergent__bottle.n.01 | Matched | |
| disinfectant.n.01 | Substance | an agent (as heat or radiation or a chemical) that destroys microorganisms that might carry disease |
| disinfectant__bottle.n.01 | Matched | |
| floor.n.01 | Matched | the inside lower horizontal surface (as of a room, hallway, tent, or other structure) |
| mat.n.01 | Matched | a thick flat pad used as a floor covering |
| mildew.n.02 | Substance | a fungus that produces a superficial (usually white) growth on organic matter |
| scrub_brush.n.01 | Matched | a brush with short stiff bristles for heavy cleaning |
| 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 |
(define (problem clean_rubber_bathmats-0)
(:domain omnigibson)
(:objects
mat.n.01_1 - mat.n.01
sink.n.01_1 - sink.n.01
water.n.06_1 - water.n.06
scrub_brush.n.01_1 - scrub_brush.n.01
detergent.n.02_1 - detergent.n.02
detergent__bottle.n.01_1 - detergent__bottle.n.01
disinfectant.n.01_1 - disinfectant.n.01
disinfectant__bottle.n.01_1 - disinfectant__bottle.n.01
mildew.n.02_1 - mildew.n.02
floor.n.01_1 - floor.n.01
agent.n.01_1 - agent.n.01
)
(:init
(ontop mat.n.01_1 sink.n.01_1)
(ontop scrub_brush.n.01_1 floor.n.01_1)
(filled detergent__bottle.n.01_1 detergent.n.02_1)
(ontop detergent__bottle.n.01_1 floor.n.01_1)
(covered mat.n.01_1 mildew.n.02_1)
(insource sink.n.01_1 water.n.06_1)
(ontop agent.n.01_1 floor.n.01_1)
(filled disinfectant__bottle.n.01_1 disinfectant.n.01_1)
(ontop disinfectant__bottle.n.01_1 floor.n.01_1)
(inroom floor.n.01_1 bathroom)
(inroom sink.n.01_1 bathroom)
)
(:goal
(and
(not
(covered ?mat.n.01_1 ?mildew.n.02_1)
)
)
)
)