search

ease-crc / soma

The Socio-physical Model of Activities (SOMA) is a formal activity model for embodied agents that need to operate their body to generate motions that cause intentional effects in the physical and social world.
GNU Lesser General Public License v3.0
16 stars 22 forks source link

(Kaviya's PR) Kitchen, Oven, TrashContainer concepts #277

Closed mpomarlan closed 2 years ago

mpomarlan commented 2 years ago

@kaviyachandran 's PR, with some touchups.

I didn't change anything about her definition of Kitchen. I think the containment disposition should be pushed higher to Room, but we can discuss that later.

The containment dispositions asserted for Oven and TrashContainer turned out to not be needed, they were inheritted through these objects being DesignedContainers. To each, I added a more specific disposition.

mpomarlan commented 2 years ago

Ok, I'll leave the more adventurous assertions out for now.

I'm not sure what dispositions would go for trash container beyond it being a container though, so if anyone asks that's why it's empty in its specific disposition list :)