the-french-artist/wikipedia_20220301.simple_sentence_embeddings huggingface dataset:
Earth's magnetic field 
 As of 2015, the pole is thought to have moved east beyond the Canadian Arctic territorial claim to .
Earth's magnetic field 
 The Earth's North and South Magnetic Poles are also known as Magnetic Dip Poles, referring to the vertical "dip" of the magnetic field lines at those points.
Earth's magnetic field 
 Migratory animals are born with a magnetic map in their head that allows them to migrate great distances safely.
Atmosphere (unit) 
 The standard atmosphere (symbol: atm) is a unit of atmospheric pressure that refers to the air pressure at sea level.
Atmosphere (unit) 
 It is defined as equal to 101325 Pa. Since 1982, it has been replaced by the bar, which is equal to exactly 105 Pa. The usage of either unit is discouraged.
Wilga Rivers 
 Rivers was an early supporter of the change from the audiolingual method to more communicative and interactive language teaching.
Mount Curdie 
 The valley contains a place known to local Aboriginal people as Tjunti, where Lasseter's Cave is located.
Mount Curdie 
 Ernest Giles named Mount Curdie on 13 March 1874, during his first journey through the Petermann Ranges.
Mount Curdie 
 After climbing to the top of Mount Curdie, Giles also gave names to other peaks in the Petermann Ranges, including Mounts Fagan and Miller further to the east.
Sarah Caldwell 
 Sarah Caldwell (born March 6, 1924 - died March 23, 2006) was an American opera conductor and a stage director.
Guangzhou FC 
 This club has been very successful ever since Evergrande RE took over the club after a match-fixing scandal in 2009, with money flowing in.
Amy Madigan 
 These include  the 1989 movie Field of Dreams and Uncle Buck and the series Grey's Anatomy, Carnivàle and Fringe.
Prolog 
 Prolog uses a paradigm called negation as failure, which means that  is assumed if  cannot be derived.
Prolog 
 While negation is failure has its benefits, it often confuses people starting to learn Prolog, as they expect true logical negation.
Horn clause 
 A Horn clause is a logic disjunction of literals, where at most one of the literals is positive, and all the others are negative.
Horn clause 
 A Horn clause with exactly one positive literal is a definite clause; a definite clause with no negative literals is sometimes called a “fact”; and a Horn clause without a positive literal is sometimes called a goal clause.
Horn clause 
 In the non-propositional case, all variables in a clause are implicitly universally quantified with scope the entire clause.
Horn clause 
 They are important in automated theorem proving by first-order resolution, because the resolvent of two Horn clauses is itself a Horn clause, and the resolvent of a goal clause and a definite clause is a goal clause.
Horn clause 
 These properties of Horn clauses can lead to greater efficiencies in proving a theorem (represented as the negation of a goal clause).
Horn clause 
 Horn clauses are also the basis of logic programming, where it is common to write definite clauses in the form of an implication:
Horn clause 
 In fact, the resolution of a goal clause with a definite clause to produce a new goal clause is the basis of the SLD resolution inference rule, used to implement logic programming and the programming language Prolog.
Horn clause 
 The Prolog notation is actually ambiguous, and the term “goal clause” is sometimes also used ambiguously.
Horn clause 
 The variables in a goal clause can be read as universally or existentially quantified, and deriving “false” can be interpreted either as deriving a contradiction or as deriving a successful solution of the problem to be solved.
Horn clause 
 Van Emden and Kowalski (1976) investigated the model theoretic properties of Horn clauses in the context of logic programming, showing that every set of definite clauses D has a unique minimal model M. An atomic formula A is logically implied by D if and only if A is true in M. It follows that a problem P represented by an existentially quantified conjunction of positive literals is logically implied by D if and only if P is true in M. The minimal model semantics of Horn clauses is the basis for the stable model semantics of logic programs.
Horn clause 
 Propositional Horn clauses are also of interest in computational complexity, where the problem of finding truth value assignments to make a conjunction of propositional Horn clauses true is a P-complete problem (in fact solvable in linear time), sometimes called HORNSAT. (
Horn clause 
 Alfred Horn (1951), "On sentences which are true of direct unions of algebras", Journal of Symbolic Logic, 16, 14–21.
Horn clause 
 Dowling, W. and Gallier, J. (1984), "Linear-time algorithms for testing the satisfiability of propositional Horn formulae".
Venn diagram 
 They are used to teach elementary set theory, and to illustrate simple set relationships in probability, logic, statistics, linguistics and computer science.
Venn diagram 
 Christian Weise in 1712 (Nucleus Logicoe Wiesianoe) and Leonhard Euler (Letters to a German Princess) in 1768, for instance, came up with similar ideas.
Venn diagram 
 Living creatures that can both fly and have two legs—for example, parrots—are then in both sets, and hence correspond to points in the area where the blue and orange circles overlap.
Venn diagram 
 Humans and penguins are bipedal, and hence are in the orange circle, but since they cannot fly, they appear in the left part of the orange circle, where it does not overlap with the blue circle.
Venn diagram 
 Mosquitoes have six legs, and fly, so the point for mosquitoes is in the part of the blue circle that does not overlap with the orange one.
Venn diagram 
 Creatures that are not two-legged and cannot fly (for example, whales and spiders) would all be represented by points outside both circles.
Venn diagram 
 The union in this case contains all living creatures that are either two-legged, or that can fly (or both).
Venn diagram 
 The area in both A and B, where the two sets overlap, is called the intersection of A and B, denoted by .
Venn diagram 
 For example, the intersection of the two sets is not empty, because there are points that represent creatures that are in both the orange and blue circles.
Starbuck Island 
 The island is also a home to Polynesian Rats, feral cats, Green turtles and about fifteen other species of seabirds.
Enrique Peña Nieto 
 Peña Nieto became President-elect after the 2012 general election was found to be valid by the Federal Electoral Tribunal, after some accusations of electoral fraud.
Enrique Peña Nieto 
 Nieto was born on 20 July 1966 in Atlacomulco, State of Mexico, a city 55 miles (89 km) northwest of Mexico City.
Enrique Peña Nieto 
 He is the oldest of four siblings; his father, Gilberto Enrique Peña del Mazo, was an electrical engineer; his mother, María del Perpetuo Socorro Ofelia Nieto Sánchez, a schoolteacher.
Enrique Peña Nieto 
 He is the nephew of two former governors of the State of México: on his mother's side, Arturo Montiel; on his father's, Alfredo del Mazo González.
Enrique Peña Nieto 
 He attended Denis Hall School in Alfred, Maine, during one year of junior high school in 1979 to learn English.
Enrique Peña Nieto 
 After living in Atlacomulco for the first 11 years of his life, Peña Nieto's family moved to the city of Toluca.
Enrique Peña Nieto 
 In 1975, his father would often take him to the campaign rallies of the State of Mexico's governor, Jorge Jiménez Cantú, a close friend of Peña del Mazo.
Enrique Peña Nieto 
 During Del Mazo González's campaign in 1981, the fifteen-year-old Peña Nieto had his first direct contact with Mexican politics: he began delivering campaign literature in favor of his relative, a memory Peña Nieto recalls as the turning point and start of his deep interest in politics.
Enrique Peña Nieto 
 In 1984 at the age of 18, Peña Nieto traveled to Mexico City and enrolled in the Panamerican University, where he earned a Bachelor of Arts (BA) degree in legal studies.
Enrique Peña Nieto 
 Peña Nieto's academic thesis was found to contain some improper citations and plagiarism, which stirred controversy in May 2016.
Enrique Peña Nieto 
 Peña Nieto sought a master's degree in Business Administration (MBA) at the Instituto Tecnológico y de Estudios Superiores de Monterrey (ITESM), based in the State of Mexico.
Enrique Peña Nieto 
 Peña Nieto joined the Institutional Revolutionary Party (PRI) in 1984, and with a law degree nearly completed, he began earning his own money.
Enrique Peña Nieto 
 During his final years in college, Peña Nieto worked for a public notary in Mexico City, around the same time when his relative, Alfredo del Mazo González, was mentioned as a firm candidate for the 1988 presidential elections.
Enrique Peña Nieto 
 In his twenties, he worked at the San Luis Industrial Corporation, an auto parts manufacturer, and at the law firm Laffan, Muse and Kaye.
Enrique Peña Nieto 
 While still a student at the Universidad Panamericana, he roomed with Eustaquio de Nicolás, the current president of Homex, a leading Mexican construction and real estate company.
Enrique Peña Nieto 
 He also befriended and roomed with Luis Miranda, who occupied several offices during the 1999–2000 administration in the State of Mexico.
Enrique Peña Nieto 
 Peña Nieto formally started his political career under the mentorship of Montiel Rojas, becoming the Secretary of the Citizen Movement of Zone I of the State Directive Committee of the National Confederation of Popular Organizations (CNOP), one of the three sectors of the PRI.
Enrique Peña Nieto 
 For three consecutive years, Peña Nieto participated as a delegate to the Organization and Citizen Front in different municipalities of the State of Mexico.
Enrique Peña Nieto 
 Then, between 1993 and 1998, during Emilio Chuayfett's term as governor, Peña Nieto was chief of staff and personal secretary to Montiel Rojas, the Secretary of Economic Development of the State of Mexico.
Enrique Peña Nieto 
 After 1999, Peña Nieto went from having low-level secretary positions to higher and more qualified offices.
Enrique Peña Nieto 
 He served from 1999 to 2000 as the Sub-secretary of Government, and as financial sub-coordinator of the political campaign of Montiel Rojas.
Enrique Peña Nieto 
 In 2001, Montiel Rojas named Peña Nieto Sub-secretary of Interior in the State of Mexico, a position that granted him the opportunity to meet and forge relationships with top PRI politicians and wealthy businessmen.
Enrique Peña Nieto 
 After his term concluded, he served as the administrative secretary, as president of the Directive Council of Social Security, as president of the Internal Council of Health, and as vice president of the National System for Integral Family Development – all in the State of Mexico.
Enrique Peña Nieto 
 Under the wing of Montiel Rojas, Peña Nieto formed a group known as the "Golden Boys of Atlacomulco" with other members of the PRI.
Enrique Peña Nieto 
 Peña Nieto was elected to a local deputy position in his hometown of Atlacomulco, State of Mexico, in 2003.
Enrique Peña Nieto 
 Two years later, the governorship of the State of Mexico was sought by Atlacomulco-natives Carlos Hank Rhon, Isidro Pastor, Héctor Luna de la Vega, Guillermo González Martínez, Óscar Gustavo Cárdenas Monroy, Eduardo Bernal Martínez, Cuauhtémoc García Ortega and Fernando Alberto García Cuevas.
Enrique Peña Nieto 
 Nonetheless, in 2005, Peña Nieto was the last man standing, succeeding Montiel Rojas as governor of the State of Mexico.
Enrique Peña Nieto 
 On 12 February 2005, with 15,000 supporters in attendance, he was sworn in as candidate for the PRI.
Enrique Peña Nieto 
 On Sept. 15 2005, Peña Nieto was sworn as governor of the State of Mexico at the Morelos theater in Toluca.
Enrique Peña Nieto 
 Among the hundreds of attendees were the outgoing governor, Arturo Montiel; the president of the Superior Court of Justice, José Castillo Ambriz; former governors, members of Peña Nieto's cabinet and party, mayors, businessmen, and church figures.
Enrique Peña Nieto 
 The centerpiece of Peña Nieto's governorship was his claim that he was to deliver his compromisos – 608 promises he signed in front of a notary to convince voters that he would deliver results and be an effective leader.
Enrique Peña Nieto 
 According to El Universal, during Peña Nieto's first year as governor, his administration delivered 10 of the structural promises he had advocated in his campaign – marking the lowest figure in his six-year term.
Enrique Peña Nieto 
 In 2006, his administration carried out 141 of the promised projects, making that year the most active in the governor's term.
Enrique Peña Nieto 
 The 608 projects Peña Nieto proposed consisted of creating highways, building hospitals, and creating adequate water systems to provide fresh water throughout the state.
Enrique Peña Nieto 
 The major projects in public transportation were the Suburban Railway of the Valley of Mexico Metropolitan Area and the "Mexibús", both of which served commuters between Mexico City and the State of Mexico, providing service to more than 300,000 people every day and 100 million a year.
Enrique Peña Nieto 
 Regarding public health services, 196 hospitals and medical centers were built throughout the state and the number of mobile units to attend remote and vulnerable areas doubled.
Enrique Peña Nieto 
 Deaths caused by respiratory diseases were reduced by 55%, while deaths caused by dysentery and cervical cancer were reduced by 68% and 25% respectively.
Enrique Peña Nieto 
 In addition, between 2005 and 2011, the State of Mexico was able to fulfill the requirement of the World Health Organization of having one doctor for every 1,000 inhabitants.
Enrique Peña Nieto 
 The funds for these and all the other commitments were obtained through restructuring the state's public debt, a strategy designed by his first Secretary of Finance, Luis Videgaray Caso.
Enrique Peña Nieto 
 The restructuring also managed to keep the debt from increasing during Peña Nieto's term because the tax base was broadened to the point that it doubled in six years.
Enrique Peña Nieto 
 Peña Nieto also claimed that he halved the murder rate in the State of Mexico during his time as governor, but retracted this claim after The Economist showed that the murder rate did not diminish and was being measured in a different way.
Enrique Peña Nieto 
 The Yo Soy 132 student movement criticized Peña Nieto for his stance on the San Salvador Atenco unrest, which occurred during his term as governor.
Enrique Peña Nieto 
 Peña Nieto stated in an interview that he does not justify the actions of the state and municipal forces, but also mentioned that they were not gladly received by the citizens of San Salvador Atenco upon their arrival.
Earls Croome 
 Earls Croome is a village and civil parish  in the Malvern Hills District in the county of Worcestershire, England.
Johannis de Rijke 
 He led projects which improved the ports of Japan, including  Tokyo, Yokohama, Nagasaki, Hiroshima (Ujina) and Fukuoka (Hakata).
Johannis de Rijke 
 It was uncommon for a foreigner to be promoted to such high rank in a Japanese government bureaucracy.
America's Next Top Model, Cycle 7 
 America's Next Top Model, Cycle 7 was the seventh season of the reality television series America's Next Top Model.
Dopamine reuptake inhibitor 
 DRI's help manage symptoms of ADHD, narcolepsy, Parkinson's Disease, obesity, substance abuse withdrawal and some mood disorders.
Millettia laurentii 
 The species is listed as endangered in the IUCN Red List, mostly because people are destroying its habitat and over harvesting the tree for timber.
Commodore BASIC 
 Commodore licensed BASIC from Microsoft on a "pay once with no royalties" basis after Jack Tramiel turned down Bill Gates' offer of a $3 per unit fee stating "I'm already married", and would pay no more than $25,000 for a perpetual license.
Gauss (unit) 
 1017 gauss – the upper limit to neutron star magnetism; no known object in the universe can generate a stronger magnetic field
Loppers 
 It has two handles, one connected to a blade and the other to a blunt surface that holds the object being cut.
Loppers 
 It is used for cutting thick plants, even saplings (young trees) or branches that are less than an inch (2.5 cm) thick (about as thick as a person's thumb).
Tiny Toon Adventures 
 Tiny Toon Adventures, also known as Steven Spielberg Presents Tiny Toon Adventures, is an American animated comedy sitcom adventure television series.
Tiny Toon Adventures 
 It follows a group of young cartoon characters who attend Acme Looniversity in the town of Acme Acres to become the next generation of Looney Tunes characters.
Tiny Toon Adventures 
 The series premiered airs at 7:30 p.m. ET/PT time on September 24, 1999 on Cartoon Network in the United States.
Tiny Toon Adventures 
 Buster Bunny: (voiced by Charlie Adler from seasons 1 to 3, and by John Kassir at the end of season 3) A blue male rabbit based on Bugs Bunny.
Tiny Toon Adventures 
 Fifi La Fume: (voiced by Kath Soucie), A purple-and-white female skunk based on Pepé Le Pew who speaks with a French accent.
Tiny Toon Adventures 
 Elmyra Duff: (voiced by Cree Summer) A redheaded girl based on Elmer Fudd who wears a blue blouse, a white skirt, black shoes, and a blue bow with a skull at the center.
Mount Morris 
 It is about  high, and is the second-highest peak in South Australia after nearby Mount Woodroffe (1,435 m).
Mount Crombie 
 The mountain is part of the traditional country of the Pitjantjatjara people, and there are several examples of rock art in the area.
Mount Crombie 
 The last recorded specimen of the lesser stick-nest rat, which used to be found throughout central Australia, was captured here in 1933.
Mount Kintore 
 The mountain is made up mostly of metamorphic beds of gneisses and quartzite, which are split with diorite dykes.
Prairie restoration 
 Prairie restoration is a type of habitat conservation, for prairies and habitats that lived alongside prairies.
Prairie restoration 
 Much of this land is good for farming and has been plowed for planting crops or turned into pastures.
Prairie restoration 
 In Illinois, there was once 22 million acres (9 million hectares), now there are less than 2300 acres (920 hectares) of high-quality original prairie remaining.
Prairie restoration 
 Since fires cannot burn freely, many new species are taking over, and preventing sunlight from reaching shorter plants.
Prairie restoration 
 Often areas that once held a hundred different species of plants now only has three or four species.
Mount Sir Thomas 
 It is in the Birksgate Range, which is part of the traditional country of the Pitjantjatjara people.
Mount Sir Thomas 
 An important rock hole is located near the base of the mountain, called  (sometimes written ), meaning "Emu Water".
Mount Sir Thomas 
 They were on the Elder Scientific Exploring Expedition, which travelled across the Great Victoria Desert between April 1891 and March 1892.
Mount Sir Thomas 
 The mountain was named after Sir Thomas Elder, the philanthropist who funded and equipped the expedition.
History of salvation 
 Salvation history, especially in the context of Christian theology, is an approach to understand events as part of the working of God's will to save humans.
History of salvation 
 These events begin with the Fall of Man at the beginning of history (Book of Genesis) and include the covenants between God and Noah, Abraham, and Moses, the establishment of King David's dynasty etc.
History of salvation 
 These and others are seen as necessary preparations for the salvation (Christianity) of all by Christ's crucifixion and resurrection.
Thomas Elder 
 Sir Thomas Elder (August 5, 1817—March 6, 1897) was a Scottish businessman who moved to South Australia and set up the largest wool selling company in the world.
Thomas Elder 
 He worked with his brother George, and then became a business partners with Edward Stirling, Robert Barr Smith and John Taylor.
Thomas Elder 
 Elder spent money buying large properties for sheep in outback South Australia, Queensland and Western Australia.
Thomas Elder 
 He had ridden camels while on holiday in Palestine, and thought they would be good for use in the Australian deserts.
Thomas Elder 
 Elder provided money and camels for exploration by Peter Egerton Warburton (1872-73), Ernest Giles (1875), John Ross (1874), Lewis (1875), and the Royal Geographical Society of South Australia (1891).
Thomas Elder 
 This included £26,000 for the University of Adelaide, £20,000 for mathematics and general science, £31,000 to the Medical School, and £21,000 to the School of Music.
Thomas Elder 
 In his will he gave £10,000 to the Presbyterian Church, £4000 for the Church of England cathedral, £4000 for the Methodist Prince Alfred College, £25,000 to set up a Working Men's Home, and £16,000 to the hospital.
Mir Sultan Khan 
 He was a manservant from British India who travelled with his master, Colonel Nawab Sir Umar Hayat Khan, to Britain, where he took the chess world by storm.
Mir Sultan Khan 
 In an international chess career of less than five years (1929–33), he won the British Chess Championship three times in four tries (1929, 1932, 1933), and had tournament and match results that put him among the top ten players in the world.
Mir Sultan Khan 
 Sir Umar then brought him back to his homeland, where he gave up chess and returned to his humble life.
Mir Sultan Khan 
 He was generally recognised as a grandmaster, but when FIDE took over control of chess, he was forgotten.
Mir Sultan Khan 
 This was a form of chess which was similar to modern chess, but still had some features of the old Arabic chess.
Mir Sultan Khan 
 At that time, Sir Umar took him into his household with the idea of teaching him the European version of the game and introducing him to European master chess.
Mir Sultan Khan 
 Next year, in May 1930, Sultan Khan began an international chess career in which he defeated many of the world's leading players.
Mir Sultan Khan 
 His best results were second to Savielly Tartakower at Liège 1930; third at the Hastings International Chess Congress  1930–31 behind future World Champion Max Euwe and former World Champion José Raúl Capablanca;  fourth at Hastings 1931–32; fourth at Bern 1932; and a tie for third with at London 1932, behind World Champion Alexander Alekhine and Salo Flohr.
Mir Sultan Khan 
 In matches he defeated Tartakower in 1931 (four wins, five draws, and three losses) and narrowly lost to Flohr in 1932 (one win, three draws, and two losses).
Mir Sultan Khan 
 This included wins against Flohr and Akiba Rubinstein, and draws with Alekhine, Kashdan, Ernst Grünfeld, Gideon Ståhlberg, and Efim Bogolyubov.
Mir Sultan Khan 
 At the 5th Chess Olympiad, Folkestone 1933, he had his worst result, an even score, winning four games, drawing six, and losing four.
Mir Sultan Khan 
 Once again, his opponents included the world's best players, such as Alekhine, Flohr, Kashdan, Tartakower, Grünfeld, Ståhlberg, and Lajos Steiner.
Watarru Indigenous Protected Area 
 The Watarru Indigenous Protected Area is an area of 1.2 million hectares in the north west corner of South Australia.
Watarru Indigenous Protected Area 
 The Anangu are working with scientists to develop ways of dealing with feral animals including cats, foxes and camels.
Indigenous Protected Area 
 An Indigenous Protected Area, or IPA, is an area of land or sea owned by the Indigenous peoples of Australia.
Indigenous Protected Area 
 In an IPA the owners have made an agreement with the Australian Government to protect biodiversity and cultural resources.
Indigenous Protected Area 
 In July 2012, the southern Tanami Indigenous Protected Area was declared, covering 10 million hectares in the Northern Territory.
Indigenous Protected Area 
 This is the traditional home of the Warlpairi, and includes the communities of Yuendumu, Willowra and Nyrripi.
Virginia Bruce 
 Virginia Bruce (September 29, 1910 - February 24, 1982) was an American actress who played in movies and television.