Relation BELIEVED-BY

Arity: 2

Domain: Information

Range: *agent

Axioms:

(= (Inverse Believes) Believed-By)

(<=> (Believed-By ?A ?B) (And (Information ?A) (*Agent ?B)))

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