gate.SourceURL
file:/afs/csl.tjhsst.edu/user/mlee1/knowledge/bio/test/Euler.html
MimeType
text/html
Euler
Leonhard Euler
Born: 15 April 1707 in Basel, Switzerland
Died: 18 Sept 1783 in St Petersburg, Russia
Leonhard Euler 's father was Paul Euler. Paul Euler had studied theology at the University of Basel and had attended Jacob Bernoulli's lectures there. In fact Paul Euler and Johann Bernoulli had both lived in Jacob Bernoulli's house while undergraduates at Basel. Paul Euler became a Protestant minister and married Margaret Brucker, the daughter of another Protestant minister. Their son Leonhard Euler was born in Basel, but the family moved to Riehen when he was one year old and it was in Riehen, not far from Basel, that Leonard was brought up. Paul Euler had, as we have mentioned, some mathematical training and he was able to teach his son elementary mathematics along with other subjects.
Leonhard was sent to school in Basel and during this time he lived with his grandmother on his mother's side. This school was a rather poor one, by all accounts, and Euler learnt no mathematics at all from the school. However his interest in mathematics had certainly been sparked by his father's teaching, and he read mathematics texts on his own and took some private lessons. Euler's father wanted his son to follow him into the church and sent him to the University of Basel to prepare for the ministry. He entered the University in 1720, at the age of 14, first to obtain a general education before going on to more advanced studies. Johann Bernoulli soon discovered Euler's great potential for mathematics in private tuition that Euler himself engineered. Euler's own account given in his unpublished autobiographical writings, see [1], is as follows:-
... I soon found an opportunity to be introduced to a famous professor Johann Bernoulli. ... True, he was very busy and so refused flatly to give me private lessons; but he gave me much more valuable advice to start reading more difficult mathematical books on my own and to study them as diligently as I could; if I came across some obstacle or difficulty, I was given permission to visit him freely every Sunday afternoon and he kindly explained to me everything I could not understand ...
In 1723 Euler completed his Master's degree in philosophy having compared and contrasted the philosophical ideas of Descartes and Newton. He began his study of theology in the autumn of 1723, following his father's wishes, but, although he was to be a devout Christian all his life, he could not find the enthusiasm for the study of theology, Greek and Hebrew that he found in mathematics. Euler obtained his father's consent to change to mathematics after Johann Bernoulli had used his persuasion. The fact that Euler's father had been a friend of Johann Bernoulli's in their undergraduate days undoubtedly made the task of persuasion much easier.
Euler completed his studies at the University of Basel in 1726. He had studied many mathematical works during his time in Basel, and Calinger [24] has reconstructed many of the works that Euler read with the advice of Johann Bernoulli. They include works by Varignon, Descartes, Newton, Galileo, van Schooten, Jacob Bernoulli, Hermann, Taylor and Wallis. By 1726 Euler had already a paper in print, a short article on isochronous curves in a resisting medium. In 1727 he published another article on reciprocal trajectories and submitted an entry for the 1727 Grand Prize of the Paris Academy on the best arrangement of masts on a ship.
The Prize of 1727 went to Bouguer, an expert on mathematics relating to ships, but Euler's essay won him second place which was a fine achievement for the young graduate. However, Euler now had to find himself an academic appointment and when Nicolaus(II) Bernoulli died in St Petersburg in July 1726 creating a vacancy there, Euler was offered the post which would involve him in teaching applications of mathematics and mechanics to physiology. He accepted the post in November 1726 but stated that he did not want to travel to Russia until the spring of the following year. He had two reasons to delay. He wanted time to study the topics relating to his new post but also he had a chance of a post at the University of Basel since the professor of physics there had died. Euler wrote an article on acoustics, which went on to become a classic, in his bid for selection to the post but he was not chosen to go forward to the stage where lots were drawn to make the final decision on who would fill the chair. Almost certainly his youth (he was 19 at the time) was against him. However Calinger [24] suggests:-
This decision ultimately benefited Euler, because it forced him to move from a small republic into a setting more adequate for his brilliant research and technological work.
As soon as he knew he would not be appointed to the chair of physics, Euler left Basel on 5 April 1727. He travelled down the Rhine by boat, crossed the German states by post wagon, then by boat from L?beck arriving in St Petersburg on 17 May 1727. He had joined the St Petersburg Academy of Sciences two years after it had been founded by Catherine I the wife of Peter the Great. Through the requests of Daniel Bernoulli and Jakob Hermann, Euler was appointed to the mathematical-physical division of the Academy rather than to the physiology post he had originally been offered. At St Petersburg Euler had many colleagues who would provide an exceptional environment for him [1]:-
Nowhere else could he have been surrounded by such a group of eminent scientists, including the analyst, geometer Jakob Hermann, a relative; Daniel Bernoulli, with whom Euler was connected not only by personal friendship but also by common interests in the field of applied mathematics; the versatile scholar Christian Goldbach, with whom Euler discussed numerous problems of analysis and the theory of numbers; F Maier, working in trigonometry; and the astronomer and geographer J-N Delisle.
Euler served as a medical lieutenant in the Russian navy from 1727 to 1730. In St Petersburg he lived with Daniel Bernoulli who, already unhappy in Russia, had requested that Euler bring him tea, coffee, brandy and other delicacies from Switzerland. Euler became professor of physics at the Academy in 1730 and, since this allowed him to become a full member of the Academy, he was able to give up his Russian navy post.
Daniel Bernoulli held the senior chair in mathematics at the Academy but when he left St Petersburg to return to Basel in 1733 it was Euler who was appointed to this senior chair of mathematics. The financial improvement which came from this appointment allowed Euler to marry which he did on 7 January 1734, marrying Katharina Gsell, the daughter of a painter from the St Petersburg Gymnasium. Katharina, like Euler, was from a Swiss family. They had 13 children altogether although only five survived their infancy. Euler claimed that he made some of his greatest mathematical discoveries while holding a baby in his arms with other children playing round his feet.
We will examine Euler's mathematical achievements later in this article but at this stage it is worth summarising Euler's work in this period of his career. This is done in [24] as follows:-
... after 1730 he carried out state projects dealing with cartography, science education, magnetism, fire engines, machines, and ship building. ... The core of his research program was now set in place: number theory; infinitary analysis including its emerging branches, differential equations and the calculus of variations; and rational mechanics. He viewed these three fields as intimately interconnected. Studies of number theory were vital to the foundations of calculus, and special functions and differential equations were essential to rational mechanics, which supplied concrete problems.
The publication of many articles and his book Mechanica (1736-37), which extensively presented Newtonian dynamics in the form of mathematical analysis for the first time, started Euler on the way to major mathematical work.
Euler's health problems began in 1735 when he had a severe fever and almost lost his life. However, he kept this news from his parents and members of the Bernoulli family back in Basel until he had recovered. In his autobiographical writings Euler says that his eyesight problems began in 1738 with overstrain due to his cartographic work and that by 1740 he had [24]:-
... lost an eye and [ the other ] currently may be in the same danger.
However, Calinger in [24] argues that Euler's eyesight problems almost certainly started earlier and that the severe fever of 1735 was a symptom of the eyestrain. He also argues that a portrait of Euler from 1753 suggests that by that stage the sight of his left eye was still good while that of his right eye was poor but not completely blind. Calinger suggests that Euler's left eye became blind from a later cataract rather than eyestrain.
By 1740 Euler had a very high reputation, having won the Grand Prize of the Paris Academy in 1738 and 1740. On both occasions he shared the first prize with others. Euler's reputation was to bring an offer to go to Berlin, but at first he preferred to remain in St Petersburg. However political turmoil in Russia made the position of foreigners particularly difficult and contributed to Euler changing his mind. Accepting an improved offer Euler, at the invitation of Frederick the Great, went to Berlin where an Academy of Science was planned to replace the Society of Sciences. He left St Petersburg on 19 June 1741, arriving in Berlin on 25 July. In a letter to a friend Euler wrote:-
I can do just what I wish [ in my research ] ... The king calls me his professor, and I think I am the happiest man in the world.
Even while in Berlin Euler continued to receive part of his salary from Russia. For this remuneration he bought books and instruments for the St Petersburg Academy, he continued to write scientific reports for them, and he educated young Russians.
Maupertuis was the president of the Berlin Academy when it was founded in 1744 with Euler as director of mathematics. He deputised for Maupertuis in his absence and the two became great friends. Euler undertook an unbelievable amount of work for the Academy [1]:-
... he supervised the observatory and the botanical gardens; selected the personnel; oversaw various financial matters; and, in particular, managed the publication of various calendars and geographical maps, the sale of which was a source of income for the Academy. The king also charged Euler with practical problems, such as the project in 1749 of correcting the level of the Finow Canal ... At that time he also supervised the work on pumps and pipes of the hydraulic system at Sans Souci, the royal summer residence.
This was not the limit of his duties by any means. He served on the committee of the Academy dealing with the library and of scientific publications. He served as an advisor to the government on state lotteries, insurance, annuities and pensions and artillery. On top of this his scientific output during this period was phenomenal.
During the twenty-five years spent in Berlin, Euler wrote around 380 articles. He wrote books on the calculus of variations; on the calculation of planetary orbits; on artillery and ballistics (extending the book by Robins); on analysis; on shipbuilding and navigation; on the motion of the moon; lectures on the differential calculus; and a popular scientific publication Letters to a Princess of Germany (3 vols., 1768-72).
In 1759 Maupertuis died and Euler assumed the leadership of the Berlin Academy, although not the title of President. The king was in overall charge and Euler was not now on good terms with Frederick despite the early good favour. Euler, who had argued with d'Alembert on scientific matters, was disturbed when Frederick offered d'Alembert the presidency of the Academy in 1763. However d'Alembert refused to move to Berlin but Frederick's continued interference with the running of the Academy made Euler decide that the time had come to leave.
In 1766 Euler returned to St Petersburg and Frederick was greatly angered at his departure. Soon after his return to Russia, Euler became almost entirely blind after an illness. In 1771 his home was destroyed by fire and he was able to save only himself and his mathematical manuscripts. A cataract operation shortly after the fire, still in 1771, restored his sight for a few days but Euler seems to have failed to take the necessary care of himself and he became totally blind. Because of his remarkable memory he was able to continue with his work on optics, algebra, and lunar motion. Amazingly after his return to St Petersburg (when Euler was 59) he produced almost half his total works despite the total blindness.
Euler of course did not achieve this remarkable level of output without help. He was helped by his sons, Johann Albrecht Euler who was appointed to the chair of physics at the Academy in St Petersburg in 1766 (becoming its secretary in 1769) and Christoph Euler who had a military career. Euler was also helped by two other members of the Academy, W L Krafft and A J Lexell, and the young mathematician N Fuss who was invited to the Academy from Switzerland in 1772. Fuss, who was Euler's grandson-in-law, became his assistant in 1776. Yushkevich writes in [1]:-
.. the scientists assisting Euler were not mere secretaries; he discussed the general scheme of the works with them, and they developed his ideas, calculating tables, and sometimes compiled examples.
For example Euler credits Albrecht, Krafft and Lexell for their help with his 775 page work on the motion of the moon, published in 1772. Fuss helped Euler prepare over 250 articles for publication over a period on about seven years in which he acted as Euler's assistant, including an important work on insurance which was published in 1776.
Yushkevich describes the day of Euler's death in [1]:-
On 18 September 1783 Euler spent the first half of the day as usual. He gave a mathematics lesson to one of his grandchildren, did some calculations with chalk on two boards on the motion of balloons; then discussed with Lexell and Fuss the recently discovered planet Uranus. About five o'clock in the afternoon he suffered a brain haemorrhage and uttered only "I am dying" before he lost consciousness. He died about eleven o'clock in the evening.
After his death in 1783 the St Petersburg Academy continued to publish Euler's unpublished work for nearly 50 more years.
Euler's work in mathematics is so vast that an article of this nature cannot but give a very superficial account of it. He was the most prolific writer of mathematics of all time. He made large bounds forward in the study of modern analytic geometry and trigonometry where he was the first to consider sin, cos etc. as functions rather than as chords as Ptolemy had done.
He made decisive and formative contributions to geometry, calculus and number theory. He integrated Leibniz's differential calculus and Newton's method of fluxions into mathematical analysis. He introduced beta and gamma functions, and integrating factors for differential equations. He studied continuum mechanics, lunar theory with Clairaut, the three body problem, elasticity, acoustics, the wave theory of light, hydraulics, and music. He laid the foundation of analytical mechanics, especially in his Theory of the Motions of Rigid Bodies (1765).
We owe to Euler the notation f ( x ) for a function (1734), e for the base of natural logs (1727), i for the square root of -1 (1777), p for pi, for summation (1755), the notation for finite differences y and 2 y and many others.
Let us examine in a little more detail some of Euler's work. Firstly his work in number theory seems to have been stimulated by Goldbach but probably originally came from the interest that the Bernoullis had in that topic. Goldbach asked Euler, in 1729, if he knew of Fermat's conjecture that the numbers 2 n + 1 were always prime if n is a power of 2. Euler verified this for n = 1, 2, 4, 8 and 16 and, by 1732 at the latest, showed that the next case 2 32 + 1 = 4294967297 is divisible by 641 and so is not prime. Euler also studied other unproved results of Fermat and in so doing introduced the Euler phi function ( n ), the number of integers k with 1 k n and k coprime to n . He proved another of Fermat's assertions, namely that if a and b are coprime then a 2 + b 2 has no divisor of the form 4 n - 1, in 1749.
Perhaps the result that brought Euler the most fame in his young days was his solution of what had become known as the Basel problem. This was to find a closed form for the sum of the infinite series (2) = (1/ n 2 ), a problem which had defeated many of the top mathematicians including Jacob Bernoulli, Johann Bernoulli and Daniel Bernoulli. The problem had also been studied unsuccessfully by Leibniz, Stirling, de Moivre and others. Euler showed in 1735 that (2) = p 2 /6 but he went on to prove much more, namely that (4) = p 4 /90, (6) = p 6 /945, (8) = p 8 /9450, (10) = p 10 /93555 and (12) = 691 p 12 /638512875. In 1737 he proved the connection of the zeta function with the series of prime numbers giving the famous relation
( s ) = (1/ n s ) = (1 - p - s ) -1
Here the sum is over all natural numbers n while the product is over all prime numbers.
By 1739 Euler had found the rational coefficients C in (2 n ) = C p 2 n in terms of the Bernoulli numbers.
Other work done by Euler on infinite series included the introduction of his famous Euler's constant , in 1735, which he showed to be the limit of
1 / 1 + 1 / 2 + 1 / 3 + ... + 1 / n - log e n
as n tends to infinity. He calculated the constant to 16 decimal places. Euler also studied Fourier series and in 1744 he was the first to express an algebraic function by such a series when he gave the result
p /2 - x /2 = sin x + (sin 2 x )/2 + (sin 3 x )/3 + ...
in a letter to Goldbach. Like most of Euler's work there was a fair time delay before the results were published; this result was not published until 1755.
Euler wrote to James Stirling on 8 June 1736 telling him about his results on summing reciprocals of powers, the harmonic series and Euler's constant and other results on series. In particular he wrote [60]:-
Concerning the summation of very slowly converging series, in the past year I have lectured to our Academy on a special method of which I have given the sums of very many series sufficiently accurately and with very little effort.
He then goes on to describe what is now called the Euler-Maclaurin summation formula. Two years later Stirling replied telling Euler that Maclaurin:-
... will be publishing a book on fluxions. ... he has two theorems for summing series by means of derivatives of the terms, one of which is the self-same result that you sent me.
Euler replied:-
... I have very little desire for anything to be detracted from the fame of the celebrated Mr Maclaurin since he probably came upon the same theorem for summing series before me, and consequently deserves to be named as its first discoverer. For I found that theorem about four years ago, at which time I also described its proof and application in greater detail to our Academy.
Some of Euler's number theory results have been mentioned above. Further important results in number theory by Euler included his proof of Fermat's Last Theorem for the case of n = 3. Perhaps more significant than the result here was the fact that he introduced a proof involving numbers of the form a + b -3 for integers a and b. Although there were problems with his approach this eventually led to Kummer's major work on Fermats Last Theorem and to the introduction of the concept of a ring.
One could claim that mathematical analysis began with Euler. In 1748 in Introductio in analysin infinitorum Euler made ideas of Johann Bernoulli more precise in defining a function, and he stated that mathematical analysis was the study of functions. This work bases the calculus on the theory of elementary functions rather than on geometric curves, as had been done previously. Also in this work Euler gave the formula
e ix = cos x + i sin x .
In Introductio in analysin infinitorum Euler dealt with logarithms of a variable taking only positive values although he had discovered the formula
ln(-1) = p i
in 1727. He published his full theory of logarithms of complex numbers in 1751.
Analytic functions of a complex variable were investigated by Euler in a number of different contexts, including the study of orthogonal trajectories and cartography. He discovered the Cauchy-Riemann equations in 1777, although d'Alembert had discovered them in 1752 while investigating hydrodynamics.
In 1755 Euler published Institutiones calculi differentialis which begins with a study of the calculus of finite differences. The work makes a thorough investigation of how differentiation behaves under substitutions.
In Institutiones calculi integralis (1768-70) Euler made a thorough investigation of integrals which can be expressed in terms of elementary functions. He also studied beta and gamma functions, which he had introduced first in 1729. Legendre called these 'Eulerian integrals of the first and second kind' respectively while they were given the names beta function and gamma function by Binet and Gauss respectively. As well as investigating double integrals, Euler considered ordinary and partial differential equations in this work.
The calculus of variations is another area in which Euler made fundamental discoveries. His work Methodus inveniendi lineas curvas ... published in 1740 began the proper study of the calculus of variations. In [12] it is noted that Carath?odory considered this as:-
... one of the most beautiful mathematical works ever written.
Problems in mathematical physics had led Euler to a wide study of differential equations. He considered linear equations with constant coefficients, second order differential equations with variable coefficients, power series solutions of differential equations, a method of variation of constants, integrating factors, a method of approximating solutions, and many others. When considering vibrating membranes, Euler was led to the Bessel equation which he solved by introducing Bessel functions.
Euler made substantial contributions to differential geometry, investigating the theory of surfaces and curvature of surfaces. Many unpublished results by Euler in this area were rediscovered by Gauss. Other geometric investigations led him to fundamental ideas in topology such as the Euler characteristic of a polyhedron.
In 1736 Euler published Mechanica which provided a major advance in mechanics. As Yushkevich writes in [1]:-
The distinguishing feature of Euler's investigations in mechanics as compared to those of his predecessors is the systematic and successful application of analysis. Previously the methods of mechanics had been mostly synthetic and geometrical; they demanded too individual an approach to separate problems. Euler was the first to appreciate the importance of introducing uniform analytic methods into mechanics, thus enabling its problems to be solved in a clear and direct way.
In Mechanica Euler considered the motion of a point mass both in a vacuum and in a resisting medium. He analysed the motion of a point mass under a central force and also considered the motion of a point mass on a surface. In this latter topic he had to solve various problems of differential geometry and geodesics.
Mechanica was followed by another important work in rational mechanics, this time Euler's two volume work on naval science. It is described in [24] as:-
Outstanding in both theoretical and applied mechanics, it addresses Euler's intense occupation with the problem of ship propulsion. It applies variational principles to determine the optimal ship design and first established the principles of hydrostatics ... Euler here also begins developing the kinematics and dynamics of rigid bodies, introducing in part the differential equations for their motion.
Of course hydrostatics had been studied since Archimedes, but Euler gave a definitive version.
In 1765 Euler published another major work on mechanics Theoria motus corporum solidorum in which he decomposed the motion of a solid into a rectilinear motion and a rotational motion. He considered the Euler angles and studied rotational problems which were motivated by the problem of the precession of the equinoxes.
Euler's work on fluid mechanics is also quite remarkable. He published a number of major pieces of work through the 1750s setting up the main formulae for the topic, the continuity equation, the Laplace velocity potential equation, and the Euler equations for the motion of an inviscid incompressible fluid. In 1752 he wrote:-
However sublime are the researches on fluids which we owe to Messrs Bernoulli, Clairaut and d'Alembert, they flow so naturally from my two general formulae that one cannot sufficiently admire this accord of their profound meditations with the simplicity of the principles from which I have drawn my two equations ...
Euler contributed to knowledge in many other areas, and in all of them he employed his mathematical knowledge and skill. He did important work in astronomy including [1]:-
... determination of the orbits of comets and planets by a few observations, methods of calculation of the parallax of the sun, the theory of refraction, consideration of the physical nature of comets, .... His most outstanding works, for which he won many prizes from the Paris Acad?mie des Sciences, are concerned with celestial mechanics, which especially attracted scientists at that time.
In fact Euler's lunar theory was used by Tobias Mayer in constructing his tables of the moon. In 1765 Mayer's widow received 3000 from Britain for the contribution the tables made to the problem of the determination of the longitude, while Euler received 300 from the British government for his theoretical contribution to the work.
Euler also published on the theory of music, in particular he published Tentamen novae theoriae musicae in 1739 in which he tried to make music:-
... part of mathematics and deduce in an orderly manner, from correct principles, everything which can make a fitting together and mingling of tones pleasing.
However, according to [8] the work was:-
... for musicians too advanced in its mathematics and for mathematicians too musical.
Cartography was another area that Euler became involved in when he was appointed director of the St Petersburg Academy's geography section in 1735. He had the specific task of helping Delisle prepare a map of the whole of the Russian Empire. The Russian Atlas was the result of this collaboration and it appeared in 1745, consisting of 20 maps. Euler, in Berlin by the time of its publication, proudly remarked that this work put the Russians well ahead of the Germans in the art of cartography.
Article by: J J O'Connor and E F Robertson
September 1998
MacTutor History of Mathematics
[http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Euler.html]
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
JJ
string
solid
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VB
string
describe
kind
word
orth
lowercase
length
8
category
SYM
string
=
kind
symbol
length
1
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
:
string
:
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
began
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
majorType
time
minorType
hour
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBZ
string
s
kind
word
orth
lowercase
length
1
voice
active
tense
Pre
type
PART
category
VBD
string
wanted
kind
word
orth
lowercase
length
6
category
RB
string
rather
kind
word
orth
lowercase
length
6
kind
space
length
1
string
majorType
organization_noun
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1
kind
number
length
1
category
CD
string
1
kind
number
length
1
category
,
string
,
kind
punctuation
length
1
category
NNS
string
secretaries
kind
word
orth
lowercase
length
11
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
area
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
.
string
.
kind
punctuation
length
1
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
NN
string
precession
kind
word
orth
lowercase
length
10
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NN
string
sin
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
proved
kind
word
orth
lowercase
length
6
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
This
kind
word
orth
upperInitial
length
4
kind
control
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
category
JJ
string
severe
kind
word
orth
lowercase
length
6
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
POS
string
'
kind
punctuation
length
1
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
study
kind
word
orth
lowercase
length
5
category
VBG
string
publishing
kind
word
orth
lowercase
length
10
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
internal
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
VB
string
fill
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
return
kind
word
orth
lowercase
length
6
category
NN
string
work
kind
word
orth
lowercase
length
4
category
NNS
string
results
kind
word
orth
lowercase
length
7
category
NNP
string
Bessel
kind
word
orth
upperInitial
length
6
category
DT
string
both
kind
word
orth
lowercase
length
4
majorType
date
minorType
ordinal
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
although
kind
word
orth
lowercase
length
8
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
VBN
string
integrated
kind
word
orth
lowercase
length
10
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NN
string
favour
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule
JobTitle1
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
JJ
string
scientific
kind
word
orth
lowercase
length
10
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
JJ
string
complex
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
external
category
NN
string
permission
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
RBS
string
most
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBG
string
including
kind
word
orth
lowercase
length
9
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
rule
Unknown
matches
211612;211569;211528;211730;211731;211734;211736;211737;211738;211740;211742;211743;211749;211751;211752;211753
kind
PN
NMRule
Unknown
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
JJ
string
theoretical
kind
word
orth
lowercase
length
11
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
on
kind
word
orth
lowercase
length
2
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
calculation
kind
word
orth
lowercase
length
11
rule
mathematicianRule
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule1
Location1
rule2
LocFinal
matches
211522;211450;211498;211480;211491;211486;211494;211516;211502;211546;211553;211551
locType
city
category
JJ
string
latter
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
control
length
1
string
majorType
stop
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
NN
string
function
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
majorType
location
minorType
country
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211157;211084;211077
category
NNP
string
Albrecht
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
category
.
string
.
kind
punctuation
length
1
kind
external
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
number
kind
space
length
1
string
category
NN
string
afternoon
kind
word
orth
lowercase
length
9
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
voice
active
tense
SimPre
type
FVG
category
NN
string
theology
kind
word
orth
lowercase
length
8
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
NN
string
force
kind
word
orth
lowercase
length
5
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
VBN
string
angered
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
control
length
1
string
kind
external
rule
JobTitle1
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
category
JJ
string
young
kind
word
orth
lowercase
length
5
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBP
string
am
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBD
string
received
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
me
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
majorType
number
category
NNS
string
acoustics
kind
word
orth
lowercase
length
9
category
VBZ
string
s
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule
FirstName
category
NN
string
round
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
internal
kind
space
length
1
string
category
VBG
string
marrying
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Varignon
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NNP
string
Russia
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
king
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
RB
string
Perhaps
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
NNP
string
J
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
NNP
string
Mathematics
kind
word
orth
upperInitial
length
11
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
majorType
phone_prefix
kind
external
category
NNP
string
Krafft
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
majorType
loc_general_key
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
IN
string
by
kind
word
orth
lowercase
length
2
category
VB
string
be
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
majorType
jobtitle
rule
PersonFinal
rule1
PersonFull
majorType
jobtitle
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
n
kind
word
orth
lowercase
length
1
category
JJ
string
first
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
rule
Unknown
kind
PN
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
,
string
,
kind
punctuation
length
1
category
JJ
string
finite
kind
word
orth
lowercase
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
by
kind
word
orth
lowercase
length
2
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
DT
string
an
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
painter
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
VBG
string
dying
kind
word
orth
lowercase
length
5
category
RB
string
then
kind
word
orth
lowercase
length
4
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
majorType
stop
category
DT
string
A
kind
word
orth
upperInitial
length
1
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
DT
string
these
kind
word
orth
lowercase
length
5
kind
control
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
DT
string
the
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
JJS
string
latest
kind
word
orth
lowercase
length
6
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
CD
string
1
kind
number
length
1
category
DT
string
an
kind
word
orth
lowercase
length
2
voice
active
tense
Inf
type
NFVG
category
VB
string
examine
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
category
CD
string
59
kind
number
length
2
kind
space
length
1
string
majorType
stop
category
VBD
string
began
kind
word
orth
lowercase
length
5
voice
active
tense
Pre
type
PART
majorType
number
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
world
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
control
length
1
string
category
:
string
;
kind
punctuation
length
1
category
NN
string
theory
kind
word
orth
lowercase
length
6
category
NNP
string
Clairaut
kind
word
orth
upperInitial
length
8
kind
external
kind
space
length
1
string
majorType
govern_key
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
internal
category
.
string
.
kind
punctuation
length
1
category
POS
string
'
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Basel
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
JJ
string
old
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CD
string
1735
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
turmoil
kind
word
orth
lowercase
length
7
voice
active
tense
SimPre
type
FVG
category
CD
string
32
kind
number
length
2
category
NN
string
summation
kind
word
orth
lowercase
length
9
kind
space
length
1
string
voice
none
tense
Pas
type
PART
majorType
jobtitle
category
NNP
string
Fermat
kind
word
orth
upperInitial
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
category
VBG
string
investigating
kind
word
orth
lowercase
length
13
category
NNS
string
integrals
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VB
string
save
kind
word
orth
lowercase
length
4
voice
active
tense
SimPre
type
FVG
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
problems
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
rule2
DateOnlyFinal
rule1
GazDate
kind
date
category
NNS
string
applications
kind
word
orth
lowercase
length
12
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
course
kind
word
orth
lowercase
length
6
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
,
string
,
kind
punctuation
length
1
category
:
string
;
kind
punctuation
length
1
category
NN
string
notation
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
works
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
PRP
string
I
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
rule1
TheOrgXBase
rule2
OrgFinal
matches
211477;211512
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NN
string
]
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
DT
string
those
kind
word
orth
lowercase
length
5
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
after
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
voice
active
tense
SimPre
type
FVG
gender
male
rule1
PersonFull
rule
PersonFinal
matches
211563;211552
kind
space
length
1
string
category
CD
string
two
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
claim
kind
word
orth
lowercase
length
5
category
IN
string
of
kind
word
orth
lowercase
length
2
category
JJ
string
exceptional
kind
word
orth
lowercase
length
11
majorType
surname
minorType
prefix
category
CD
string
1
kind
number
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
period
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNS
string
pensions
kind
word
orth
lowercase
length
8
category
RB
string
far
kind
word
orth
lowercase
length
3
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
majorType
phone_prefix
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
NN
string
investigation
kind
word
orth
lowercase
length
13
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
voice
active
tense
Pre
type
PART
category
,
string
,
kind
punctuation
length
1
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
control
length
1
string
category
JJ
string
various
kind
word
orth
lowercase
length
7
category
IN
string
that
kind
word
orth
lowercase
length
4
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NN
string
enthusiasm
kind
word
orth
lowercase
length
10
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NN
string
theology
kind
word
orth
lowercase
length
8
category
VBN
string
come
kind
word
orth
lowercase
length
4
rule
JobTitle1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
make
kind
word
orth
lowercase
length
4
category
CD
string
6
kind
number
length
1
category
IN
string
in
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
category
PRP$
string
his
kind
word
orth
lowercase
length
3
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
friendship
kind
word
orth
lowercase
length
10
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
PRP
string
he
kind
word
orth
lowercase
length
2
neg
yes
tense
SimPas
voice
passive
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
went
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
NN
string
geography
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
NNS
string
principles
kind
word
orth
lowercase
length
10
category
PRP
string
He
kind
word
orth
upperInitial
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
category
RBR
string
more
kind
word
orth
lowercase
length
4
voice
active
tense
Pre
type
PART
category
.
string
.
kind
punctuation
length
1
category
NN
string
music
kind
word
orth
lowercase
length
5
kind
internal
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
control
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Delisle
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
majorType
date_unit
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
country_adj
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
WDT
string
which
kind
word
orth
lowercase
length
5
rule
NotOrgXBase
kind
notorgName
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule
FirstName
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VBD
string
read
kind
word
orth
lowercase
length
4
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
lunar
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
consent
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
none
type
MODAL
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
DT
string
some
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
external
kind
space
length
1
string
category
CD
string
1
kind
number
length
1
category
NN
string
p
kind
word
orth
lowercase
length
1
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
NN
string
art
kind
word
orth
lowercase
length
3
category
NN
string
lunar
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
its
kind
word
orth
lowercase
length
3
category
NN
string
analysin
kind
word
orth
lowercase
length
8
category
VBD
string
assumed
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
mathematicianRule
category
,
string
,
kind
punctuation
length
1
kind
internal
category
,
string
,
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
rule
NotOrgXBase
kind
notorgName
kind
space
length
1
string
category
NNS
string
scientists
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Fermat
kind
word
orth
upperInitial
length
6
category
.
string
.
kind
punctuation
length
1
category
IN
string
if
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
NNS
string
children
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
VBN
string
involved
kind
word
orth
lowercase
length
8
category
CD
string
2
kind
number
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
category
RB
string
only
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
CD
string
18
kind
number
length
2
kind
space
length
1
string
category
PRP$
string
my
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
NNS
string
ballistics
kind
word
orth
lowercase
length
10
category
NN
string
problem
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Berlin
kind
word
orth
upperInitial
length
6
category
JJ
string
Russian
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
date
minorType
month
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
date
minorType
day
category
LS
string
2
kind
number
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
personal
kind
word
orth
lowercase
length
8
category
CC
string
but
kind
word
orth
lowercase
length
3
category
IN
string
on
kind
word
orth
lowercase
length
2
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
internal
category
NN
string
blindness
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
majorType
number
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Firstly
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
st-andrews
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
category
IN
string
for
kind
word
orth
lowercase
length
3
category
NNP
string
Basel
kind
word
orth
upperInitial
length
5
rule
mathematicianRule
matches
211132;211105;211103;211100
voice
passive
tense
SimPas
type
FVG
category
VBN
string
compared
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NNP
string
Johann
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1738
kind
number
length
4
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
majorType
organization_noun
category
VBG
string
integrating
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
PRP
string
they
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
category
VBZ
string
seems
kind
word
orth
lowercase
length
5
category
VB
string
visit
kind
word
orth
lowercase
length
5
rule2
LocFinal
rule1
Location1
locType
city
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
none
tense
Pas
type
PART
majorType
title
minorType
male
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
relative
kind
word
orth
lowercase
length
8
category
VBG
string
involving
kind
word
orth
lowercase
length
9
category
NNS
string
functions
kind
word
orth
lowercase
length
9
category
NN
string
point
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
number
kind
word
orth
lowercase
length
6
category
POS
string
's
kind
word
orth
apostrophe
length
2
majorType
organization_noun
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
NNP
string
Introductio
kind
word
orth
upperInitial
length
11
kind
space
length
1
string
kind
control
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
SYM
string
e
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
internal
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
youth
kind
word
orth
lowercase
length
5
category
MD
string
could
kind
word
orth
lowercase
length
5
kind
internal
category
IN
string
as
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
govern_key
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
category
DT
string
the
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Grand
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
majorType
organization_noun
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NNS
string
writings
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
Russian
kind
word
orth
upperInitial
length
7
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBZ
string
lectures
kind
word
orth
lowercase
length
8
category
VBN
string
set
kind
word
orth
lowercase
length
3
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
NNS
string
maps
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211087;211073;211080
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NN
string
number
kind
word
orth
lowercase
length
6
category
NNS
string
studies
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
DT
string
This
kind
word
orth
upperInitial
length
4
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
majorType
date
minorType
month
category
NN
string
p
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
voice
active
tense
SimPre
type
FVG
category
PRP
string
He
kind
word
orth
upperInitial
length
2
majorType
stop
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
VBZ
string
suggests
kind
word
orth
lowercase
length
8
rule
Unknown
matches
211484;211469;211461;211454;211726;211732;211733;211741;211744;211745;211746;211747;211748;211750
kind
PN
NMRule
Unknown
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
degree
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
voice
active
tense
SimPas
type
FVG
category
NN
string
astronomy
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
consideration
kind
word
orth
lowercase
length
13
category
RB
string
not
kind
word
orth
lowercase
length
3
majorType
time_unit
category
:
string
:
kind
punctuation
length
1
category
NN
string
/
kind
punctuation
length
1
category
NN
string
determination
kind
word
orth
lowercase
length
13
category
NNP
string
Science
kind
word
orth
upperInitial
length
7
rule
JobTitle1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
voice
none
tense
Pas
type
PART
category
NN
string
charge
kind
word
orth
lowercase
length
6
category
IN
string
for
kind
word
orth
lowercase
length
3
rule
mathematicianRule
category
NNP
string
Binet
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
SYM
string
x
kind
word
orth
lowercase
length
1
rule
mathematicianRule
category
NN
string
product
kind
word
orth
lowercase
length
7
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
scheme
kind
word
orth
lowercase
length
6
voice
active
tense
PasPer
type
FVG
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
k
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NN
string
motion
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
Last
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
majorType
date
minorType
month
category
VBN
string
employed
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
organization_noun
majorType
stop
category
NN
string
happiest
kind
word
orth
lowercase
length
8
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNS
string
functions
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NNP
string
Maier
kind
word
orth
upperInitial
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NNP
string
i
kind
word
orth
lowercase
length
1
category
NN
string
summer
kind
word
orth
lowercase
length
6
category
NNS
string
Studies
kind
word
orth
upperInitial
length
7
category
NNS
string
equations
kind
word
orth
lowercase
length
9
category
NNS
string
sons
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Canal
kind
word
orth
upperInitial
length
5
rule1
Location1
rule2
LocFinal
matches
211522;211450;211498;211480;211491;211486;211494;211516;211502;211546;211553;211551
locType
city
category
NNS
string
reasons
kind
word
orth
lowercase
length
7
category
NNP
string
Gsell
kind
word
orth
upperInitial
length
5
category
NN
string
grandmother
kind
word
orth
lowercase
length
11
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
control
length
1
string
category
VBZ
string
works
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
upon
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
internal
category
PRP
string
me
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
ministry
kind
word
orth
lowercase
length
8
category
VBD
string
suffered
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
category
NN
string
father
kind
word
orth
lowercase
length
6
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
internal
category
NN
string
History
kind
word
orth
upperInitial
length
7
kind
control
length
1
string
kind
space
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJ
string
due
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
over
kind
word
orth
lowercase
length
4
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
functions
kind
word
orth
lowercase
length
9
category
VB
string
give
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
RB
string
proudly
kind
word
orth
lowercase
length
7
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNS
string
subjects
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
for
kind
word
orth
lowercase
length
3
rule
NotOrgXBase
kind
notorgName
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
portrait
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
feet
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
CC
string
and
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
control
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
category
SYM
string
=
kind
symbol
length
1
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
around
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
VBG
string
assisting
kind
word
orth
lowercase
length
9
category
CD
string
1
kind
number
length
1
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
DateName
kind
date
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
CD
string
1
kind
number
length
1
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
discussed
kind
word
orth
lowercase
length
9
kind
internal
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
VBD
string
published
kind
word
orth
lowercase
length
9
category
.
string
.
kind
punctuation
length
1
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
died
kind
word
orth
lowercase
length
4
voice
active
tense
SimPre
type
FVG
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NN
string
leadership
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
PRP
string
it
kind
word
orth
lowercase
length
2
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule
FirstName
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
knowledge
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CD
string
1729
kind
number
length
4
category
NN
string
n
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
RB
string
Even
kind
word
orth
upperInitial
length
4
rule
mathematicianRule
matches
211021;211024
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule
FirstName
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
category
JJ
string
great
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
well
kind
word
orth
lowercase
length
4
category
NN
string
differential
kind
word
orth
lowercase
length
12
category
VBD
string
started
kind
word
orth
lowercase
length
7
category
CD
string
3
kind
number
length
1
kind
space
length
1
string
category
NNP
string
Johann
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
majorType
jobtitle
kind
space
length
1
string
rule1
Location1
rule2
LocFinal
matches
211522;211450;211498;211480;211491;211486;211494;211516;211502;211546;211553;211551
locType
city
category
NNP
string
II
kind
word
orth
allCaps
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pre
type
SPECIAL
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNS
string
discoveries
kind
word
orth
lowercase
length
11
category
,
string
,
kind
punctuation
length
1
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
JJ
string
able
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
internal
category
CD
string
8
kind
number
length
1
category
NNP
string
Hermann
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
NN
string
potential
kind
word
orth
lowercase
length
9
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
category
NNP
string
i
kind
word
orth
lowercase
length
1
majorType
time
minorType
hour
kind
space
length
1
string
category
NNP
string
Master
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
control
length
1
string
category
NN
string
problem
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
external
kind
space
length
1
string
category
PRP
string
They
kind
word
orth
upperInitial
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
contexts
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
category
IN
string
into
kind
word
orth
lowercase
length
4
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBD
string
took
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
internal
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
VB
string
be
kind
word
orth
lowercase
length
2
category
JJ
string
hydraulic
kind
word
orth
lowercase
length
9
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
JJ
string
adequate
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
active
tense
SimPas
type
FVG
category
WRB
string
how
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
IN
string
as
kind
word
orth
lowercase
length
2
category
IN
string
on
kind
word
orth
lowercase
length
2
category
VBD
string
lived
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBN
string
Born
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
voice
active
tense
Inf
type
NFVG
category
CD
string
three
kind
word
orth
lowercase
length
5
kind
control
length
1
string
category
NN
string
fitting
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
50
kind
number
length
2
kind
space
length
1
string
category
NN
string
fact
kind
word
orth
lowercase
length
4
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
majorType
organization_noun
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
JJ
string
such
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
internal
kind
space
length
1
string
rule
JobTitle1
kind
internal
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
category
NN
string
time
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
location
minorType
city
gender
male
rule
FirstName
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
date
minorType
month
category
NNS
string
meditations
kind
word
orth
lowercase
length
11
rule
mathematicianRule
matches
210990;211108;211000;210995;210986;211136;210997;210979
kind
space
length
1
string
category
VBZ
string
addresses
kind
word
orth
lowercase
length
9
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
NN
string
/
kind
punctuation
length
1
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
VBD
string
published
kind
word
orth
lowercase
length
9
category
,
string
,
kind
punctuation
length
1
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
category
CD
string
1783
kind
number
length
4
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
very
kind
word
orth
lowercase
length
4
category
NNS
string
articles
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NNS
string
equations
kind
word
orth
lowercase
length
9
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
control
length
1
string
kind
space
length
1
string
category
NN
string
conjecture
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
NN
string
study
kind
word
orth
lowercase
length
5
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
IN
string
About
kind
word
orth
upperInitial
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
CC
string
or
kind
word
orth
lowercase
length
2
neg
yes
tense
SimPre
voice
active
type
FVG
rule
mathematicianRule
matches
211171;211014;211114;211042
kind
space
length
1
string
category
VBN
string
appointed
kind
word
orth
lowercase
length
9
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
predecessors
kind
word
orth
lowercase
length
12
category
NNS
string
grandchildren
kind
word
orth
lowercase
length
13
kind
space
length
1
string
category
CD
string
1729
kind
number
length
4
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
IN
string
for
kind
word
orth
lowercase
length
3
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
than
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
JJ
string
unbelievable
kind
word
orth
lowercase
length
12
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
sent
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
Perhaps
kind
word
orth
upperInitial
length
7
category
JJ
string
financial
kind
word
orth
lowercase
length
9
majorType
time_unit
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
Unknown
kind
PN
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
LS
string
1
kind
number
length
1
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
IN
string
in
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
:
string
;
kind
punctuation
length
1
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
JJ
string
correct
kind
word
orth
lowercase
length
7
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
father
kind
word
orth
lowercase
length
6
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
during
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
did
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
control
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
4
kind
number
length
1
voice
none
tense
Pre
type
SPECIAL
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
learnt
kind
word
orth
lowercase
length
6
category
JJ
string
right
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
JJ
string
new
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
DT
string
this
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
majorType
location
minorType
city
kind
space
length
1
string
category
NNS
string
musicians
kind
word
orth
lowercase
length
9
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
gender
female
rule1
PersonFull
rule
PersonFinal
matches
211501;211503
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
majorType
org_base
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
SYM
string
x
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
RB
string
originally
kind
word
orth
lowercase
length
10
category
IN
string
By
kind
word
orth
upperInitial
length
2
category
NN
string
coffee
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
,
string
,
kind
punctuation
length
1
category
NN
string
work
kind
word
orth
lowercase
length
4
category
VB
string
move
kind
word
orth
lowercase
length
4
voice
none
tense
Pre
type
SPECIAL
kind
space
length
1
string
category
CD
string
24
kind
number
length
2
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NN
string
case
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
RP
string
up
kind
word
orth
lowercase
length
2
rule2
LocFinal
rule1
Location1
locType
country
category
CD
string
1783
kind
number
length
4
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
category
JJ
string
motus
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
JJ
string
formative
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
RBR
string
more
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NNS
string
days
kind
word
orth
lowercase
length
4
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
rather
kind
word
orth
lowercase
length
6
kind
external
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
voice
none
tense
none
type
MODAL
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
category
NN
string
differential
kind
word
orth
lowercase
length
12
category
NNP
string
Stirling
kind
word
orth
upperInitial
length
8
category
NN
string
k
kind
word
orth
lowercase
length
1
kind
space
length
1
string
majorType
organization_noun
voice
active
tense
Inf
type
NFVG
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
PRP
string
he
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
.
string
.
kind
punctuation
length
1
kind
control
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
recovered
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VBN
string
called
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
German
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
rule2
DateOnlyFinal
rule1
YearSpan3
kind
date
category
NN
string
]
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
IN
string
from
kind
word
orth
lowercase
length
4
category
SYM
string
=
kind
symbol
length
1
kind
control
length
1
string
kind
space
length
1
string
category
VBN
string
planned
kind
word
orth
lowercase
length
7
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
majorType
location
minorType
city
category
NNS
string
parents
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CD
string
1738
kind
number
length
4
category
NN
string
post
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP$
string
their
kind
word
orth
lowercase
length
5
kind
external
kind
space
length
1
string
category
VB
string
have
kind
word
orth
lowercase
length
4
majorType
currency_unit
minorType
post_amount
kind
space
length
1
string
category
NN
string
simplicity
kind
word
orth
lowercase
length
10
category
IN
string
from
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
category
NN
string
science
kind
word
orth
lowercase
length
7
category
CD
string
24
kind
number
length
2
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
Hermann
kind
word
orth
upperInitial
length
7
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
category
JJ
string
decisive
kind
word
orth
lowercase
length
8
category
:
string
;
kind
punctuation
length
1
category
IN
string
by
kind
word
orth
lowercase
length
2
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
fluxions
kind
word
orth
lowercase
length
8
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
category
PRP
string
I
kind
word
orth
upperInitial
length
1
category
LS
string
2
kind
number
length
1
kind
internal
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
RB
string
rather
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
matches
211489;211729;211735;211739
kind
PN
NMRule
Unknown
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NN
string
letter
kind
word
orth
lowercase
length
6
rule
JobTitle1
category
RB
string
As
kind
word
orth
upperInitial
length
2
category
NNP
string
Paul
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Bessel
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1730
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
SYM
string
b
kind
word
orth
lowercase
length
1
kind
internal
kind
space
length
1
string
category
VBD
string
showed
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
DT
string
some
kind
word
orth
lowercase
length
4
category
NN
string
determination
kind
word
orth
lowercase
length
13
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
kind
internal
category
NN
string
king
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
government
kind
word
orth
lowercase
length
10
kind
control
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBG
string
introducing
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
internal
category
NN
string
p
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
category
IN
string
on
kind
word
orth
lowercase
length
2
category
NNS
string
dynamics
kind
word
orth
lowercase
length
8
kind
space
length
1
string
rule
mathematicianRule
category
''
string
"
kind
punctuation
length
1
kind
space
length
1
string
majorType
location
minorType
city
category
IN
string
for
kind
word
orth
lowercase
length
3
category
CC
string
but
kind
word
orth
lowercase
length
3
rule
Unknown
kind
PN
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
CD
string
3
kind
number
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
voice
active
tense
SimPas
type
FVG
rule1
TheOrgXBase
rule2
OrgFinal
matches
211529;211538
category
NN
string
source
kind
word
orth
lowercase
length
6
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBG
string
constructing
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
reciprocal
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VB
string
see
kind
word
orth
lowercase
length
3
category
NNS
string
others
kind
word
orth
lowercase
length
6
category
NN
string
professor
kind
word
orth
lowercase
length
9
category
IN
string
while
kind
word
orth
lowercase
length
5
majorType
time_modifier
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
voice
active
tense
SimPas
type
FVG
rule
Unknown
matches
211612;211569;211528;211730;211731;211734;211736;211737;211738;211740;211742;211743;211749;211751;211752;211753
kind
PN
NMRule
Unknown
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
CD
string
1
kind
number
length
1
majorType
stop
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
CD
string
1765
kind
number
length
4
kind
space
length
1
string
category
RB
string
Nowhere
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
majorType
date
minorType
ordinal
category
JJ
string
synthetic
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Yushkevich
kind
word
orth
upperInitial
length
10
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
JJ
string
major
kind
word
orth
lowercase
length
5
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
control
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
majorType
jobtitle
category
NN
string
mass
kind
word
orth
lowercase
length
4
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
jobtitle
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
internal
category
.
string
.
kind
punctuation
length
1
category
IN
string
For
kind
word
orth
upperInitial
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NN
string
classic
kind
word
orth
lowercase
length
7
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
control
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
forward
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
jobtitle
majorType
organization_noun
kind
space
length
1
string
category
NN
string
motion
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
NN
string
time
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
JJ
string
such
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
category
JJ
string
able
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNS
string
mcs
kind
word
orth
lowercase
length
3
category
VBD
string
served
kind
word
orth
lowercase
length
6
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
rule
Unknown
matches
211612;211569;211528;211730;211731;211734;211736;211737;211738;211740;211742;211743;211749;211751;211752;211753
kind
PN
NMRule
Unknown
kind
space
length
1
string
category
VBD
string
contributed
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
internal
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
NN
string
n
kind
word
orth
lowercase
length
1
category
VBD
string
completed
kind
word
orth
lowercase
length
9
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
MD
string
could
kind
word
orth
lowercase
length
5
category
NNP
string
Fermat
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBD
string
became
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
tuition
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
results
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
CD
string
6
kind
number
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
VBD
string
served
kind
word
orth
lowercase
length
6
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
VBD
string
refused
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
passive
tense
SimPre
type
FVG
category
NN
string
physics
kind
word
orth
lowercase
length
7
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
majorType
govern_key
category
NNP
string
Leonhard
kind
word
orth
upperInitial
length
8
category
SYM
string
e
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
voice
active
tense
PasPer
type
FVG
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
.
string
.
kind
punctuation
length
1
rule
mathematicianRule
majorType
date
minorType
ordinal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJR
string
more
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
category
NN
string
book
kind
word
orth
lowercase
length
4
voice
none
tense
none
type
MODAL
kind
space
length
1
string
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
sums
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
category
NNS
string
planets
kind
word
orth
lowercase
length
7
category
NN
string
y
kind
word
orth
lowercase
length
1
category
RB
string
very
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NNS
string
children
kind
word
orth
lowercase
length
8
category
NNP
string
Descartes
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
investigations
kind
word
orth
lowercase
length
14
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NN
string
stage
kind
word
orth
lowercase
length
5
category
JJ
string
special
kind
word
orth
lowercase
length
7
category
NNS
string
problems
kind
word
orth
lowercase
length
8
category
,
string
,
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
category
NN
string
graduate
kind
word
orth
lowercase
length
8
voice
active
tense
SimFut
type
FVG
category
VBG
string
giving
kind
word
orth
lowercase
length
6
category
IN
string
de
kind
word
orth
lowercase
length
2
gender
female
rule
FirstName
rule
mathematicianRule
matches
211150;211151
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
JJ
string
early
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNP
string
MacTutor
kind
word
orth
mixedCaps
length
8
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
fields
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
internal
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
VBZ
string
follows
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
full
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Bernoulli
kind
word
orth
upperInitial
length
9
majorType
date
minorType
ordinal
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
DT
string
the
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
CD
string
1740
kind
number
length
4
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
CD
string
4294967297
kind
number
length
10
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
category
TO
string
to
kind
word
orth
lowercase
length
2
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NNS
string
scientists
kind
word
orth
lowercase
length
10
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
RB
string
so
kind
word
orth
lowercase
length
2
majorType
time
minorType
hour
category
JJ
string
specific
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNS
string
years
kind
word
orth
lowercase
length
5
category
IN
string
of
kind
word
orth
lowercase
length
2
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
part
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
Problems
kind
word
orth
upperInitial
length
8
category
MD
string
will
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
control
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
NN
string
year
kind
word
orth
lowercase
length
4
category
NN
string
series
kind
word
orth
lowercase
length
6
kind
external
majorType
number
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
VBN
string
concerned
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
JJ
string
medical
kind
word
orth
lowercase
length
7
category
NNP
string
Kummer
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NN
string
ring
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBZ
string
researches
kind
word
orth
lowercase
length
10
category
VBN
string
given
kind
word
orth
lowercase
length
5
rule
NotOrgXBase
kind
notorgName
voice
active
tense
PasPer
type
FVG
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
rule1
Location1
rule2
LocFinal
matches
211451;211548;211517;211495;211483;211527
locType
country
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
category
,
string
,
kind
punctuation
length
1
category
VBG
string
arriving
kind
word
orth
lowercase
length
8
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
control
length
1
string
majorType
stop
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
rule
MoneySymbolUnit
kind
number
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
18
kind
number
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBG
string
investigating
kind
word
orth
lowercase
length
13
category
DT
string
a
kind
word
orth
lowercase
length
1
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
boat
kind
word
orth
lowercase
length
4
kind
internal
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
category
JJ
string
musical
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
category
VBD
string
gave
kind
word
orth
lowercase
length
4
category
VBD
string
supplied
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
polyhedron
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
majorType
jobtitle
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
that
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
respectively
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
NN
string
introduction
kind
word
orth
lowercase
length
12
category
NN
string
area
kind
word
orth
lowercase
length
4
rule
Father2
category
RB
string
too
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
Berlin
kind
word
orth
upperInitial
length
6
category
.
string
.
kind
punctuation
length
1
category
VBN
string
given
kind
word
orth
lowercase
length
5
rule
JobTitle1
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
CD
string
7
kind
number
length
1
category
NNP
string
Analytic
kind
word
orth
upperInitial
length
8
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
places
kind
word
orth
lowercase
length
6
category
VBD
string
continued
kind
word
orth
lowercase
length
9
category
NN
string
sin
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NN
string
post
kind
word
orth
lowercase
length
4
category
VBN
string
attended
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
one
kind
word
orth
lowercase
length
3
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
location
minorType
city
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
jobtitle
category
DT
string
the
kind
word
orth
lowercase
length
3
category
RB
string
thus
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
advice
kind
word
orth
lowercase
length
6
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
functions
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
NN
string
power
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
investigations
kind
word
orth
lowercase
length
14
category
NN
string
solidorum
kind
word
orth
lowercase
length
9
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
title
minorType
military
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
control
length
1
string
category
NNS
string
numbers
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
IN
string
on
kind
word
orth
lowercase
length
2
category
CC
string
but
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
majorType
location
minorType
city
category
TO
string
to
kind
word
orth
lowercase
length
2
category
VBG
string
summing
kind
word
orth
lowercase
length
7
kind
space
length
1
string
majorType
jobtitle
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
Their
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
gender
female
rule1
FirstPersonStop
rule
PersonFinal
matches
211489;211729;211735;211739
voice
active
tense
SimPre
type
FVG
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
gender
male
rule1
PersonFull
rule
PersonFinal
matches
211608;211606
category
PRP
string
I
kind
word
orth
upperInitial
length
1
kind
control
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
fact
kind
word
orth
lowercase
length
4
category
VB
string
study
kind
word
orth
lowercase
length
5
category
PRP$
string
their
kind
word
orth
lowercase
length
5
category
JJ
string
usual
kind
word
orth
lowercase
length
5
category
CD
string
1768
kind
number
length
4
kind
control
length
1
string
category
NN
string
state
kind
word
orth
lowercase
length
5
kind
internal
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
calculation
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
300
kind
number
length
3
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
organization_noun
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
PRP
string
he
kind
word
orth
lowercase
length
2
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
majorType
org_base
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
NN
string
/
kind
punctuation
length
1
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
n
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
that
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
internal
rule
mathematicianRule
matches
211081;211088;211074;211075
category
JJ
string
private
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNS
string
members
kind
word
orth
lowercase
length
7
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
stop
category
JJ
string
private
kind
word
orth
lowercase
length
7
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
angles
kind
word
orth
lowercase
length
6
category
.
string
.
kind
punctuation
length
1
category
NN
string
chair
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
different
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
NNS
string
numbers
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
young
kind
word
orth
lowercase
length
5
kind
internal
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
first
kind
word
orth
lowercase
length
5
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
phone_prefix
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
a
kind
word
orth
lowercase
length
1
category
VBN
string
discovered
kind
word
orth
lowercase
length
10
category
VB
string
replace
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
category
NN
string
artillery
kind
word
orth
lowercase
length
9
majorType
jobtitle
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
external
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
WDT
string
that
kind
word
orth
lowercase
length
4
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
internal
category
RB
string
not
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
IN
string
with
kind
word
orth
lowercase
length
4
category
DT
string
a
kind
word
orth
lowercase
length
1
category
JJ
string
particular
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
rule1
InLoc1
rule2
LocFinal
matches
211519;211524;211543;211526;211534;211615;211515
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
category
VBZ
string
s
kind
word
orth
lowercase
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
category
JJ
string
analytic
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
JobTitle1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
time
minorType
hour
kind
space
length
1
string
category
NN
string
book
kind
word
orth
lowercase
length
4
category
NN
string
point
kind
word
orth
lowercase
length
5
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
IN
string
across
kind
word
orth
lowercase
length
6
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
location
minorType
city
kind
space
length
1
string
category
IN
string
while
kind
word
orth
lowercase
length
5
category
NN
string
series
kind
word
orth
lowercase
length
6
category
JJ
string
brilliant
kind
word
orth
lowercase
length
9
category
NNP
string
Institutiones
kind
word
orth
upperInitial
length
13
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Johann
kind
word
orth
upperInitial
length
6
majorType
stop
category
NNS
string
tables
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Academy
kind
word
orth
upperInitial
length
7
category
NNP
string
St
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
Fuss
kind
word
orth
upperInitial
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CD
string
1735
kind
number
length
4
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NNS
string
duties
kind
word
orth
lowercase
length
6
category
JJ
string
naval
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
internal
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
voice
active
tense
PrePer
type
PART
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
article
kind
word
orth
lowercase
length
7
category
NN
string
sin
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
number
category
NN
string
improvement
kind
word
orth
lowercase
length
11
majorType
date_unit
voice
active
tense
Inf
type
NFVG
category
NNP
string
St
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
internal
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
:
string
;
kind
punctuation
length
1
category
RB
string
soon
kind
word
orth
lowercase
length
4
category
NN
string
family
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
MD
string
could
kind
word
orth
lowercase
length
5
category
NN
string
n
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
CD
string
two
kind
word
orth
lowercase
length
3
category
JJ
string
later
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
category
JJ
string
same
kind
word
orth
lowercase
length
4
category
NN
string
analysis
kind
word
orth
lowercase
length
8
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NN
string
everything
kind
word
orth
lowercase
length
10
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
NNP
string
Switzerland
kind
word
orth
upperInitial
length
11
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
NN
string
]
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
rule1
PersonFull
rule
PersonFinal
matches
211557;211727
category
VBZ
string
is
kind
word
orth
lowercase
length
2
majorType
date_unit
category
,
string
,
kind
punctuation
length
1
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Bernoullis
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
rule
JobTitle1
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
IN
string
Although
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211087;211073;211080
voice
passive
tense
PrePer
type
FVG
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
category
IN
string
On
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
control
length
1
string
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
rotational
kind
word
orth
lowercase
length
10
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
chance
kind
word
orth
lowercase
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNS
string
numbers
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
pleasing
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
211145;211154
category
JJ
string
geometrical
kind
word
orth
lowercase
length
11
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
JJ
string
vast
kind
word
orth
lowercase
length
4
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
DateName
kind
date
category
CD
string
2
kind
number
length
1
kind
external
kind
control
length
1
string
kind
space
length
1
string
kind
internal
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
majorType
time
minorType
hour
category
VBN
string
presented
kind
word
orth
lowercase
length
9
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBG
string
setting
kind
word
orth
lowercase
length
7
category
NN
string
differentiation
kind
word
orth
lowercase
length
15
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
location
minorType
country
category
VBG
string
including
kind
word
orth
lowercase
length
9
kind
internal
category
JJ
string
Last
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
vital
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
/
kind
punctuation
length
1
kind
space
length
1
string
kind
control
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
CD
string
1
kind
number
length
1
kind
internal
category
NN
string
prize
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1737
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
group
kind
word
orth
lowercase
length
5
category
VBD
string
completed
kind
word
orth
lowercase
length
9
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
VBN
string
sent
kind
word
orth
lowercase
length
4
category
RB
string
ultimately
kind
word
orth
lowercase
length
10
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
VBG
string
enabling
kind
word
orth
lowercase
length
8
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
rule
Unknown
matches
211612;211569;211528;211730;211731;211734;211736;211737;211738;211740;211742;211743;211749;211751;211752;211753
kind
PN
NMRule
Unknown
category
VBG
string
resisting
kind
word
orth
lowercase
length
9
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
CD
string
2
kind
number
length
1
category
JJ
string
proper
kind
word
orth
lowercase
length
6
category
PRP
string
I
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
category
VBN
string
given
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
as
kind
word
orth
lowercase
length
2
category
NN
string
eyesight
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
moved
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
voice
passive
tense
PrePer
type
FVG
rule
Unknown
matches
211484;211469;211461;211454;211726;211732;211733;211741;211744;211745;211746;211747;211748;211750
kind
PN
NMRule
Unknown
kind
space
length
1
string
category
NNP
string
Robins
kind
word
orth
upperInitial
length
6
category
NNP
string
Lexell
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
time
minorType
hour
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
category
NN
string
son
kind
word
orth
lowercase
length
3
category
VB
string
find
kind
word
orth
lowercase
length
4
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Newton
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
PRP
string
him
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
NN
string
daughter
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
school
kind
word
orth
lowercase
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
writer
kind
word
orth
lowercase
length
6
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
JJ
string
famous
kind
word
orth
lowercase
length
6
category
VBN
string
discovered
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
Title
category
DT
string
all
kind
word
orth
lowercase
length
3
category
NNS
string
acoustics
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
theorem
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
Daniel
kind
word
orth
upperInitial
length
6
category
VBD
string
gave
kind
word
orth
lowercase
length
4
category
NN
string
book
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBD
string
claimed
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
June
kind
word
orth
upperInitial
length
4
category
NN
string
fire
kind
word
orth
lowercase
length
4
category
CD
string
2
kind
number
length
1
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
VBZ
string
is
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
VBN
string
applied
kind
word
orth
lowercase
length
7
category
VBP
string
have
kind
word
orth
lowercase
length
4
voice
passive
tense
SimPas
type
FVG
gender
male
rule1
PersonFull
rule
PersonFinal
matches
211452;211459;211717;211453;211455;211456
category
VBP
string
have
kind
word
orth
lowercase
length
4
category
JJ
string
such
kind
word
orth
lowercase
length
4
voice
active
tense
SimPre
type
FVG
category
NNS
string
discoveries
kind
word
orth
lowercase
length
11
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
VBG
string
introducing
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NN
string
collaboration
kind
word
orth
lowercase
length
13
category
VBN
string
written
kind
word
orth
lowercase
length
7
kind
external
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1
kind
number
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
category
RB
string
namely
kind
word
orth
lowercase
length
6
category
IN
string
although
kind
word
orth
lowercase
length
8
category
NNP
string
des
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
wave
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
category
,
string
,
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
rule1
Location1
rule2
LocFinal
matches
211519;211524;211543;211526;211534;211615;211515
locType
city
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
factors
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
IN
string
about
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
voice
none
tense
none
type
MODAL
rule2
YearOnlyFinal
rule1
TempYear1
kind
date
kind
space
length
1
string
category
NNP
string
St
kind
word
orth
upperInitial
length
2
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NN
string
invitation
kind
word
orth
lowercase
length
10
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
PRP
string
I
kind
word
orth
upperInitial
length
1
category
IN
string
after
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
division
kind
word
orth
lowercase
length
8
category
NN
string
number
kind
word
orth
lowercase
length
6
category
NNS
string
maps
kind
word
orth
lowercase
length
4
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
,
string
,
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
majorType
organization_noun
category
NNP
string
Laplace
kind
word
orth
upperInitial
length
7
category
NNP
string
Souci
kind
word
orth
upperInitial
length
5
kind
external
category
.
string
.
kind
punctuation
length
1
category
IN
string
while
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNP
string
F
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
publish
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
very
kind
word
orth
lowercase
length
4
rule
MoneySymbolUnit
kind
number
category
NNP
string
Christian
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
RB
string
consequently
kind
word
orth
lowercase
length
12
kind
control
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
PRP
string
them
kind
word
orth
lowercase
length
4
category
DT
string
that
kind
word
orth
lowercase
length
4
category
IN
string
on
kind
word
orth
lowercase
length
2
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
JJ
string
unpublished
kind
word
orth
lowercase
length
11
category
TO
string
to
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
NN
string
celestial
kind
word
orth
lowercase
length
9
kind
space
length
1
string
rule
Unknown
kind
PN
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
converging
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
24
kind
number
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
knowledge
kind
word
orth
lowercase
length
9
category
NN
string
[
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
study
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
essay
kind
word
orth
lowercase
length
5
category
NNS
string
curves
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
NNP
string
April
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
majorType
organization_noun
kind
space
length
1
string
category
VB
string
start
kind
word
orth
lowercase
length
5
majorType
jobtitle
category
RB
string
ahead
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
majorType
stop
category
DT
string
any
kind
word
orth
lowercase
length
3
category
CD
string
16
kind
number
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NN
string
gamma
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
do
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBP
string
are
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
rule2
DateOnlyFinal
rule1
DateName
kind
date
category
CD
string
19
kind
number
length
2
kind
space
length
1
string
category
CD
string
90
kind
number
length
2
voice
active
tense
SimPre
type
FVG
rule
NotOrgXBase
kind
notorgName
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Accepting
kind
word
orth
upperInitial
length
9
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
provide
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
category
WRB
string
when
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
210992;211002
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Basel
kind
word
orth
upperInitial
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
did
kind
word
orth
lowercase
length
3
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Berlin
kind
word
orth
upperInitial
length
6
category
VBD
string
forced
kind
word
orth
lowercase
length
6
category
NN
string
+
kind
symbol
length
1
category
,
string
,
kind
punctuation
length
1
category
JJ
string
necessary
kind
word
orth
lowercase
length
9
category
DT
string
that
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
PRP
string
One
kind
word
orth
upperInitial
length
3
category
DT
string
all
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
root
kind
word
orth
lowercase
length
4
category
PRP
string
them
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
annuities
kind
word
orth
lowercase
length
9
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
NNS
string
equations
kind
word
orth
lowercase
length
9
category
RB
string
only
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
him
kind
word
orth
lowercase
length
3
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
CD
string
25
kind
number
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
rule
mathematicianRule
matches
210990;211108;211000;210995;210986;211136;210997;210979
kind
control
length
1
string
rule
Father2
category
CD
string
2
kind
number
length
1
majorType
stop
kind
internal
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
NNS
string
assertions
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
SYM
string
e
kind
word
orth
lowercase
length
1
category
NN
string
chair
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
category
NNS
string
geodesics
kind
word
orth
lowercase
length
9
voice
active
tense
SimPas
type
FVG
majorType
jobtitle
gender
male
rule1
PersonFull
rule
PersonFinal
matches
211452;211459;211717;211453;211455;211456
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NNP
string
Goldbach
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
NN
string
fever
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
general
kind
word
orth
lowercase
length
7
category
POS
string
's
kind
word
orth
apostrophe
length
2
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
category
RB
string
o'clock
kind
word
orth
apostrophe
length
7
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
July
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VBD
string
carried
kind
word
orth
lowercase
length
7
category
VB
string
become
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Petersburg
kind
word
orth
upperInitial
length
10
category
JJ
string
variable
kind
word
orth
lowercase
length
8
category
NNP
string
September
kind
word
orth
upperInitial
length
9
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearSpan1
kind
date
majorType
location
minorType
country
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
sufficiently
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
NNS
string
coefficients
kind
word
orth
lowercase
length
12
category
JJ
string
first
kind
word
orth
lowercase
length
5
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
divisor
kind
word
orth
lowercase
length
7
voice
active
tense
SimPas
type
FVG
category
.
string
.
kind
punctuation
length
1
category
NN
string
study
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
voice
active
tense
PrePer
type
FVG
category
NNP
string
Yushkevich
kind
word
orth
upperInitial
length
10
category
PRP$
string
His
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
date
minorType
month
category
NN
string
algebra
kind
word
orth
lowercase
length
7
category
VB
string
have
kind
word
orth
lowercase
length
4
category
IN
string
since
kind
word
orth
lowercase
length
5
category
CD
string
two
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
long
class
Mathematician
kind
space
length
1
string
category
VBP
string
owe
kind
word
orth
lowercase
length
3
category
NNP
string
Petersburg
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
kind
control
length
1
string
rule
mathematicianRule
matches
211157;211084;211077
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
211589;211579
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
returned
kind
word
orth
lowercase
length
8
category
NN
string
p
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
NNP
string
Uranus
kind
word
orth
upperInitial
length
6
kind
internal
kind
space
length
1
string
category
NN
string
investigation
kind
word
orth
lowercase
length
13
category
NN
string
fire
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
NNS
string
years
kind
word
orth
lowercase
length
5
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
internal
category
NN
string
novae
kind
word
orth
lowercase
length
5
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
method
kind
word
orth
lowercase
length
6
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
motion
kind
word
orth
lowercase
length
6
category
CD
string
one
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
hydraulics
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
this
kind
word
orth
lowercase
length
4
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
external
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNS
string
undergraduates
kind
word
orth
lowercase
length
14
category
JJ
string
young
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
RB
string
naturally
kind
word
orth
lowercase
length
9
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
DateName
kind
date
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NN
string
fact
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
JJ
string
little
kind
word
orth
lowercase
length
6
voice
active
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
work
kind
word
orth
lowercase
length
4
category
NN
string
analysis
kind
word
orth
lowercase
length
8
category
JJ
string
positive
kind
word
orth
lowercase
length
8
category
CD
string
691
kind
number
length
3
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
IN
string
at
kind
word
orth
lowercase
length
2
rule2
OrgFinal
rule1
BaseofOrg
category
NNS
string
texts
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
rule1
InLoc1
rule2
LocFinal
matches
211519;211524;211543;211526;211534;211615;211515
category
VBZ
string
writes
kind
word
orth
lowercase
length
6
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
NN
string
brandy
kind
word
orth
lowercase
length
6
category
NNS
string
variations
kind
word
orth
lowercase
length
10
majorType
currency_unit
minorType
post_amount
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NN
string
/
kind
punctuation
length
1
voice
active
tense
Inf
type
NFVG
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
VBG
string
summarising
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NNP
string
Riehen
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
NN
string
advisor
kind
word
orth
lowercase
length
7
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBG
string
going
kind
word
orth
lowercase
length
5
category
DT
string
This
kind
word
orth
upperInitial
length
4
kind
external
category
RB
string
flatly
kind
word
orth
lowercase
length
6
category
NN
string
reputation
kind
word
orth
lowercase
length
10
category
RB
string
almost
kind
word
orth
lowercase
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
VBP
string
have
kind
word
orth
lowercase
length
4
category
VB
string
appreciate
kind
word
orth
lowercase
length
10
category
VBD
string
published
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
equations
kind
word
orth
lowercase
length
9
voice
active
tense
SimPas
type
FVG
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
only
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
introduced
kind
word
orth
lowercase
length
10
category
VBD
string
knew
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
WP
string
whom
kind
word
orth
lowercase
length
4
category
NN
string
version
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
control
length
1
string
category
NNS
string
problems
kind
word
orth
lowercase
length
8
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
,
string
,
kind
punctuation
length
1
majorType
date
minorType
ordinal
category
JJ
string
Swiss
kind
word
orth
upperInitial
length
5
category
VBD
string
won
kind
word
orth
lowercase
length
3
category
RB
string
especially
kind
word
orth
lowercase
length
10
category
NNP
string
Petersburg
kind
word
orth
upperInitial
length
10
category
DT
string
all
kind
word
orth
lowercase
length
3
majorType
stop
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
RB
string
recently
kind
word
orth
lowercase
length
8
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
IN
string
into
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
VBZ
string
is
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
CD
string
one
kind
word
orth
lowercase
length
3
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NNS
string
matters
kind
word
orth
lowercase
length
7
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
Unknown
kind
PN
voice
active
tense
SimPas
type
FVG
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CD
string
1
kind
number
length
1
category
NNP
string
Alembert
kind
word
orth
upperInitial
length
8
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
voice
none
tense
Pas
type
PART
category
IN
string
on
kind
word
orth
lowercase
length
2
majorType
currency_unit
minorType
post_amount
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
equation
kind
word
orth
lowercase
length
8
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
internal
category
VB
string
be
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
FW
string
etc
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
RB
string
too
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
phone_prefix
voice
active
tense
SimPas
type
FVG
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
internal
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
external
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
passive
tense
SimPas
type
FVG
category
,
string
,
kind
punctuation
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
prepare
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
expert
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
VBD
string
did
kind
word
orth
lowercase
length
3
category
RB
string
not
kind
word
orth
lowercase
length
3
category
VBG
string
consisting
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
NN
string
orthogonal
kind
word
orth
lowercase
length
10
kind
internal
kind
space
length
1
string
category
NN
string
]
kind
punctuation
position
endpunct
length
1
category
NN
string
residence
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
ship
kind
word
orth
lowercase
length
4
category
NNS
string
mechanics
kind
word
orth
lowercase
length
9
kind
space
length
1
string
rule
mathematicianRule
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
about
kind
word
orth
lowercase
length
5
kind
internal
category
JJ
string
ordinary
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
series
kind
word
orth
lowercase
length
6
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
NNP
string
Prize
kind
word
orth
upperInitial
length
5
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
series
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
PRP
string
me
kind
word
orth
lowercase
length
2
category
NN
string
sight
kind
word
orth
lowercase
length
5
category
RB
string
certainly
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
VBD
string
asked
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
category
DT
string
this
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
CD
string
70
kind
number
length
2
kind
space
length
1
string
category
NN
string
area
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBN
string
appointed
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
country_adj
category
JJ
string
famous
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBD
string
became
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Princess
kind
word
orth
upperInitial
length
8
category
NNP
string
Mr
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NN
string
design
kind
word
orth
lowercase
length
6
category
JJ
string
square
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
church
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
JJ
string
autobiographical
kind
word
orth
lowercase
length
16
category
NNP
string
Leibniz
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
PRP
string
I
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
internal
rule
Father2
category
(
string
(
kind
punctuation
position
startpunct
length
1
rule
JobTitle1
category
JJ
string
separate
kind
word
orth
lowercase
length
8
category
.
string
.
kind
punctuation
length
1
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
category
,
string
,
kind
punctuation
length
1
category
NNS
string
coefficients
kind
word
orth
lowercase
length
12
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
IN
string
with
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
geometry
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
superficial
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
/
kind
punctuation
length
1
rule
mathematicianRule
matches
211109;211025;211020;211033;211030
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
friend
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
voice
none
tense
Pre
type
SPECIAL
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
PRP
string
He
kind
word
orth
upperInitial
length
2
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
internal
kind
space
length
1
string
kind
internal
category
NN
string
[
kind
punctuation
position
startpunct
length
1
category
NN
string
differential
kind
word
orth
lowercase
length
12
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
CD
string
641
kind
number
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
JobTitle1
category
,
string
,
kind
punctuation
length
1
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
category
VBG
string
emerging
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
JJ
string
good
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Euler
kind
word
orth
upperInitial
length
5
category
NNS
string
results
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
Goldbach
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
JJ
string
Protestant
kind
word
orth
upperInitial
length
10
category
VBN
string
drawn
kind
word
orth
lowercase
length
5
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
211032;211099;210989;210991;211160;211026;211056;211177;211159;211031;211131;211130;211178;211066;211155;211082;211149;211065;211040;211153;211037;211028;211013;211067;211038;211106;211048;211156;211047;211158;211152;211086;211017;211018;211083;211085;211124;211113;211104;211016;211167;210984;211039;211015;211064;211121;211012;211063;211054;211116;211137;211179;211115;211138;211010;211123;211126;211139;211165;211168;211141;211142;210994;211166;211061;211035;211096;211148;211062;211147;211117;211057;211146;211120;210996;210985;211036;211128;210999;211162;211076;210998;211134;211034;211069;211095;211058;211102;211045;211163;211173;211044;211135;211043;211174;211046;211089;211161;211101;211112;211072;211049;211068;211050;210988;211052;211022;210987;211051;211090;211041;211176;210972;211170;211023;211079;211175;211029;211078
category
,
string
,
kind
punctuation
length
1
category
CC
string
and