ExtensionalEquivalenceLink

From OpenCog
Jump to: navigation, search

A type of Link used in OpenCog to define extensional equivalence.

For more information, see this page