[view kml]
System documentation
Definition:
Portal-Covering is the Role played by an Entity
which is the instrument of a
Be-Closed state. (A Portal
is put into the Be-Closed state by Close and
taken out of this state by Open.)
Required Relationships:
- played-by:
the entity that's playing the role of portal-covering
- in-event:
the Be-Closed state for which the portal-covering
is the instrument
Other Common Relationships:
Examples:
-
The lid closes the jar.
- Comment:
In this example, the Portal-Covering role is described with
these properties:
- in-event: Be-Closed with
object=jar
- played-by: the lid