Relation
COMPLICATES
Arity
:
2
Subrelation-Of
:
Pseudo-actor-of
Axioms:
(=> (
Complicates
?A ?B) (Exists (?C) (And (
Cause-Of
?A ?C) (
Bearer
?C ?B))))
Defined in theory:
Clin-act
Source code:
Clin-Act.lisp