Relation
MANAGES
Arity
:
2
Subrelation-Of
:
Pseudo-actor-of
Axioms:
(=> (
Manages
?A ?B) (Exists (?C) (And (
Performs
?A ?C) (
To-Actor
?C ?B))))
Defined in theory:
Actors
Source code:
Actors.lisp