Relation CARRIED-ON-BY

Arity: 2

Domain: Topic

Range: Object

Axioms:

(= (Inverse Carries-On) Carried-On-By)

(<=> (Carried-On-By ?A ?B) (And (Topic ?A) (Object ?B)))

• Defined in theory: Actors
• Source code: Actors.lisp