** Archived version with working downloads

** Java support for application downloads

** SMiLE mud downloads: has aberchat clients for AberMUDs and DikuMUDs

** In Futurama, 2927 was the year Professor Hubert Farnsworth created the first ever fully functioning robot.

** Manhunters ( comics ), a fictional robot race in the DC Comics Universe

** 2015 – 2020 – Every South Korean household will have a robot and many European, The Ministry of Information and Communication ( South Korea ), 2007

** 2035 – First completely autonomous robot soldiers in operation – US Department of Defense, 2006

** Unimate-the first industrial robot, which worked on a General Motors assembly line in 1961

** ASIMO-a humanoid robot created by Honda

** Shakey the Robot-the first mobile robot to be able to reason its own actions

** Howzis – A roughly humanoid robot that is a living pinball machine with various super powers, activated by pulling and releasing the appropriate plunger.

** T-Bot ( Phil Lamarr ): A robot who was one of Coop's challengers in " The Return ".

** Kra – A tyrant robot who enslaved the planet Zuna.

** Multi-Woman – A giant robot created by Multi-Man.

** Overlord ( exclusive to Japan, later released in Europe in 1991 )-was composed of two vehicles — a tank and jet — piloted by the husband and wife team of Lord Giga and Lady Mega, respectively-which can combine together to form either a giant robot or an advance base.

** robot

** This is a giant pink robot shaped like a rabbit.

** BEST Robotics Competition-2006 Regional 2nd place ; awards for most elegant design, best shirt design, most photogenic robot, and Founders Award for best conceptual design

** Mechanical Anti-terrorist Concept or MAC ( a bomb-defusal robot now used by the PNP-Makati City )

** ( 30, 47 ): A special Gorlin Chevalier had modified to serve him as a fighting robot.

** Eunectes murinus, the green anaconda, the largest species, is found east of the Andes in Colombia, Venezuela, the Guianas, Ecuador, Peru, Bolivia, Brazil and on the island of Trinidad.

** Eunectes notaeus, the yellow anaconda, a smaller species, is found in eastern Bolivia, southern Brazil, Paraguay and northeastern Argentina.

** Eunectes deschauenseei, the dark-spotted anaconda, is a rare species found in northeastern Brazil and coastal French Guiana.

** Eunectes beniensis, the Bolivian anaconda, the most recently defined species, is found in the Departments of Beni and Pando in Bolivia.

** Well-ordering theorem: Every set can be well-ordered.

** Tarski's theorem: For every infinite set A, there is a bijective map between the sets A and A × A.

** Trichotomy: If two sets are given, then either they have the same cardinality, or one has a smaller cardinality than the other.

** The Cartesian product of any family of nonempty sets is nonempty.

** König's theorem: Colloquially, the sum of a sequence of cardinals is strictly less than the product of a sequence of larger cardinals.

** Every surjective function has a right inverse.

** Zorn's lemma: Every non-empty partially ordered set in which every chain ( i. e. totally ordered subset ) has an upper bound contains at least one maximal element.

** Hausdorff maximal principle: In any partially ordered set, every totally ordered subset is contained in a maximal totally ordered subset.

** Tukey's lemma: Every non-empty collection of finite character has a maximal element with respect to inclusion.

** Antichain principle: Every partially ordered set has a maximal antichain.

** Every vector space has a basis.

** Every unital ring other than the trivial ring contains a maximal ideal.

** For every non-empty set S there is a binary operation defined on S that makes it a group.

** The closed unit ball of the dual of a normed vector space over the reals has an extreme point.

** Tychonoff's theorem stating that every product of compact topological spaces is compact.

** In the product topology, the closure of a product of subsets is equal to the product of the closures.

** If S is a set of sentences of first-order logic and B is a consistent subset of S, then B is included in a set that is maximal among consistent subsets of S. The special case where S is the set of all first-order sentences in a given signature is weaker, equivalent to the Boolean prime ideal theorem ; see the section " Weaker forms " below.

** Any union of countably many countable sets is itself countable.