Relation
CLINICAL-ACTOR-OF
Arity
:
2
Subrelation-Of
:
Clinical-relation
,
Pseudo-actor-of
Axioms:
(<=> (
Clinical-Actor-Of
?A ?B) (And (
Clinical-Relation
?A ?B) (
Pseudo-Actor-Of
?A ?B)))
Defined in theory:
Clin-act
Source code:
Clin-Act.lisp