Relation REPRESENTS

Anything can be represented by some abstract object. This is a restriction of 'interpretant-of' to abstract objects and with a conventional value.

Arity: 2

Domain: Abstraction

Range: Entity

Subrelation-Of: Interpretant-of

Axioms:

(=> (Represents ?A ?B)
    (Exists (?Z) (And (Topic ?Z) (Conventional-Within ?A ?Z))))

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