Relation RECOGNIZED-BY

Arity: 2

Domain: Entity

Range: Object

Axioms:

(= (Inverse Recognizes) Recognized-By)

(<=> (Recognized-By ?A ?B) (And (Entity ?A) (Object ?B)))

• Defined in theory: Molecular-biology
• Source code: Molecular-Biology.lisp