ScholemLink

From OpenCog
Jump to: navigation, search

A type of Link used to indicate variable dependencies for existentially quantified variables, used in cases of multiply nested existential quantifiers