Triple

Given a phrase, classify it is english named entity (e.g., persons, organizations, works of art) in Latin script, or not (e.g., literals, dates, URLs, verbose phrases). For disambiguation, the statement where the phrase occurs as object is also given. Please return a JSON object with `phrase` (string, the phrase being analyzed) and `is_ne` (boolean, indicating whether the phrase is a Named Entity).

Phrase: Nyquist–Shannon sampling theorem | Statement: [Vladimir Kotelnikov, theoremEquivalentTo, Nyquist–Shannon sampling theorem]

Target entity: Nyquist–Shannon sampling theorem
Context triple: [Vladimir Kotelnikov, theoremEquivalentTo, Nyquist–Shannon sampling theorem]

• A. Nyquist theorem chosen
  The Nyquist theorem is a fundamental principle in signal processing that states a continuous signal can be perfectly reconstructed from its samples if it is sampled at more than twice its highest frequency component.
• B. Nyquist
  Nyquist is a surname most famously associated with Swedish-American engineer Harry Nyquist, known for his foundational contributions to information theory and telecommunications.
• C. Nyquist
  Nyquist is an American Thoroughbred racehorse best known for winning the 2016 Kentucky Derby and later standing at stud as a prominent sire.
• D. Wiener–Khinchin theorem
  The Wiener–Khinchin theorem is a fundamental result in signal processing and probability theory that relates a wide-sense stationary random process’s autocorrelation function to its power spectral density via the Fourier transform.
• E. Paley–Wiener theorem
  The Paley–Wiener theorem is a fundamental result in harmonic analysis that characterizes which functions arise as Fourier transforms of compactly supported functions (or distributions), linking analytic properties of entire functions with support properties in the original domain.
• F. None of above.
• G. Unsure - the case is ambiguous/there is not enough information to decide.

Target predicate: theoremEquivalentTo
Context triple: [Vladimir Kotelnikov, theoremEquivalentTo, Nyquist–Shannon sampling theorem]

• A. equivalentTo
  Indicates that two entities represent the same concept, value, or state, and can be treated as interchangeable in the given context.
• B. isEquiconsistentWith
  Indicates that two formal theories or systems have the same consistency strength, such that if one is consistent then the other is also consistent, and if one is inconsistent then so is the other.
• C. equivalentIn
  Indicates that two entities are considered logically or functionally the same in meaning, status, or effect within a given context.
• D. relatedTheorem chosen
  Indicates that one theorem is connected to another through a logical, thematic, or derivational relationship.
• E. hasTheorem
  Indicates that one entity (typically a mathematical theory, field, or work) includes, establishes, or is associated with a particular theorem.
• F. None of above.