Relation FORMS-SEQUENCE

Arity: 2

Domain: Object

Range: Abstraction

Axioms:

(= (Inverse Sequence-Of) Forms-Sequence)

(<=> (Forms-Sequence ?A ?B) (And (Object ?A) (Abstraction ?B)))

• Defined in theory: Topo-morphology
• Source code: Topo-Morphology.lisp