San Francisco Arts & Athletics, Inc. v. United States Olympic Committee Except as provided in subsection (d) of this section, the corporation has the exclusive right to use— ... (4) the words “Olympic”, “Olympiad”, “Citius Altius Fortius”, “Paralympic”, “Paralympiad”, “Pan-American”, “America Espirito Sport Fraternite”, or any combination of those words. SFAA is a non-profit organization that sought to organize the "Gay Olympic Games" patterned after the Olympic Games. There were numerous other organizations that used "Olympics" in their name, including the Junior Olympics, Special Olympics, Eskimo Olympics, Police Olympics, and the Olympics of the Mind. SFAA used "Gay Olympics" on its letterheads and mailings, in local newspapers, and on various merchandise
Higher-order logic Higher-order logic In mathematics and logic, a higher-order logic is a form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Higher-order logics with their standard semantics are more expressive, but their model-theoretic properties are less well-behaved than those of first-order logic. The term "higher-order logic", abbreviated as HOL, is commonly used to mean higher-order simple predicate logic. Here "simple" indicates that the underlying type theory is simple, not polymorphic or dependent. First-order logic quantifies only variables that range over individuals; second-order logic, in addition, also quantifies over sets; third-order logic also quantifies