gate.SourceURL
file:/afs/csl.tjhsst.edu/user/mlee1/knowledge/bio/test/Gauss.html
MimeType
text/html
Gauss
Johann Carl Friedrich Gauss
Born: 30 April 1777 in Brunswick, Duchy of Brunswick (now Germany)
Died: 23 Feb 1855 in G?ttingen, Hanover (now Germany)
At the age of seven, Carl Friedrich Gauss started elementary school, and his potential was noticed almost immediately. His teacher, B?ttner, and his assistant, Martin Bartels, were amazed when Gauss summed the integers from 1 to 100 instantly by spotting that the sum was 50 pairs of numbers each pair summing to 101.
In 1788 Gauss began his education at the Gymnasium with the help of B?ttner and Bartels, where he learnt High German and Latin. After receiving a stipend from the Duke of Brunswick- Wolfenb?ttel, Gauss entered Brunswick Collegium Carolinum in 1792. At the academy Gauss independently discovered Bode's law, the binomial theorem and the arithmetic- geometric mean, as well as the law of quadratic reciprocity and the prime number theorem.
In 1795 Gauss left Brunswick to study at G?ttingen University. Gauss's teacher there was K?stner, whom Gauss often ridiculed. His only known friend amongst the students was Farkas Bolyai. They met in 1799 and corresponded with each other for many years.
Gauss left G?ttingen in 1798 without a diploma, but by this time he had made one of his most important discoveries - the construction of a regular 17-gon by ruler and compasses This was the most major advance in this field since the time of Greek mathematics and was published as Section VII of Gauss's famous work, Disquisitiones Arithmeticae .
Gauss returned to Brunswick where he received a degree in 1799. After the Duke of Brunswick had agreed to continue Gauss's stipend, he requested that Gauss submit a doctoral dissertation to the University of Helmstedt. He already knew Pfaff, who was chosen to be his advisor. Gauss's dissertation was a discussion of the fundamental theorem of algebra.
With his stipend to support him, Gauss did not need to find a job so devoted himself to research. He published the book Disquisitiones Arithmeticae in the summer of 1801. There were seven sections, all but the last section, referred to above, being devoted to number theory.
In June 1801, Zach, an astronomer whom Gauss had come to know two or three years previously, published the orbital positions of Ceres, a new "small planet" which was discovered by G Piazzi, an Italian astronomer on 1 January, 1801. Unfortunately, Piazzi had only been able to observe 9 degrees of its orbit before it disappeared behind the Sun. Zach published several predictions of its position, including one by Gauss which differed greatly from the others. When Ceres was rediscovered by Zach on 7 December 1801 it was almost exactly where Gauss had predicted. Although he did not disclose his methods at the time, Gauss had used his least squares approximation method.
In June 1802 Gauss visited Olbers who had discovered Pallas in March of that year and Gauss investigated its orbit. Olbers requested that Gauss be made director of the proposed new observatory in G?ttingen, but no action was taken. Gauss began corresponding with Bessel, whom he did not meet until 1825, and with Sophie Germain.
Gauss married Johanna Ostoff on 9 October, 1805. Despite having a happy personal life for the first time, his benefactor, the Duke of Brunswick, was killed fighting for the Prussian army. In 1807 Gauss left Brunswick to take up the position of director of the G?ttingen observatory.
Gauss arrived in G?ttingen in late 1807. In 1808 his father died, and a year later Gauss's wife Johanna died after giving birth to their second son, who was to die soon after her. Gauss was shattered and wrote to Olbers asking him to give him a home for a few weeks,
to gather new strength in the arms of your friendship - strength for a life which is only valuable because it belongs to my three small children.
Gauss was married for a second time the next year, to Minna the best friend of Johanna, and although they had three children, this marriage seemed to be one of convenience for Gauss.
Gauss's work never seemed to suffer from his personal tragedy. He published his second book, Theoria motus corporum coelestium in sectionibus conicis Solem ambientium, in 1809, a major two volume treatise on the motion of celestial bodies. In the first volume he discussed differential equations, conic sections and elliptic orbits, while in the second volume, the main part of the work, he showed how to estimate and then to refine the estimation of a planet's orbit. Gauss's contributions to theoretical astronomy stopped after 1817, although he went on making observations until the age of 70.
Much of Gauss's time was spent on a new observatory, completed in 1816, but he still found the time to work on other subjects. His publications during this time include Disquisitiones generales circa seriem infinitam , a rigorous treatment of series and an introduction of the hypergeometric function, Methodus nova integralium valores per approximationem inveniendi , a practical essay on approximate integration, Bestimmung der Genauigkeit der Beobachtungen , a discussion of statistical estimators, and Theoria attractionis corporum sphaeroidicorum ellipticorum homogeneorum methodus nova tractata . The latter work was inspired by geodesic problems and was principally concerned with potential theory. In fact, Gauss found himself more and more interested in geodesy in the 1820s.
Gauss had been asked in 1818 to carry out a geodesic survey of the state of Hanover to link up with the existing Danish grid. Gauss was pleased to accept and took personal charge of the survey, making measurements during the day and reducing them at night, using his extraordinary mental capacity for calculations. He regularly wrote to Schumacher, Olbers and Bessel, reporting on his progress and discussing problems.
Because of the survey, Gauss invented the heliotrope which worked by reflecting the Sun's rays using a design of mirrors and a small telescope. However, inaccurate base lines were used for the survey and an unsatisfactory network of triangles. Gauss often wondered if he would have been better advised to have pursued some other occupation but he published over 70 papers between 1820 and 1830.
In 1822 Gauss won the Copenhagen University Prize with Theoria attractionis... together with the idea of mapping one surface onto another so that the two are similar in their smallest parts . This paper was published in 1825 and led to the much later publication of Untersuchungen ?ber Gegenst?nde der H?heren Geod?sie (1843 and 1846). The paper Theoria combinationis observationum erroribus minimis obnoxiae (1823), with its supplement (1828), was devoted to mathematical statistics, in particular to the least squares method.
From the early 1800s Gauss had an interest in the question of the possible existence of a non-Euclidean geometry. He discussed this topic at length with Farkas Bolyai and in his correspondence with Gerling and Schumacher. In a book review in 1816 he discussed proofs which deduced the axiom of parallels from the other Euclidean axioms, suggesting that he believed in the existence of non-Euclidean geometry, although he was rather vague. Gauss confided in Schumacher, telling him that he believed his reputation would suffer if he admitted in public that he believed in the existence of such a geometry.
In 1831 Farkas Bolyai sent to Gauss his son J?nos Bolyai's work on the subject. Gauss replied
to praise it would mean to praise myself .
Again, a decade later, when he was informed of Lobachevsky's work on the subject, he praised its "genuinely geometric" character, while in a letter to Schumacher in 1846, states that he
had the same convictions for 54 years
indicating that he had known of the existence of a non-Euclidean geometry since he was 15 years of age (this seems unlikely).
Gauss had a major interest in differential geometry, and published many papers on the subject. Disquisitiones generales circa superficies curva (1828) was his most renowned work in this field. In fact, this paper rose from his geodesic interests, but it contained such geometrical ideas as Gaussian curvature. The paper also includes Gauss's famous theorema egregrium :
If an area in E 3 can be developed (i.e. mapped isometrically) into another area of E 3 , the values of the Gaussian curvatures are identical in corresponding points.
The period 1817-1832 was a particularly distressing time for Gauss. He took in his sick mother in 1817, who stayed until her death in 1839, while he was arguing with his wife and her family about whether they should go to Berlin. He had been offered a position at Berlin University and Minna and her family were keen to move there. Gauss, however, never liked change and decided to stay in G?ttingen. In 1831 Gauss's second wife died after a long illness.
In 1831, Wilhelm Weber arrived in G?ttingen as physics professor filling Tobias Mayer's chair. Gauss had known Weber since 1828 and supported his appointment. Gauss had worked on physics before 1831, publishing ?ber ein neues allgemeines Grundgesetz der Mechanik , which contained the principle of least constraint, and Principia generalia theoriae figurae fluidorum in statu aequilibrii which discussed forces of attraction. These papers were based on Gauss's potential theory, which proved of great importance in his work on physics. He later came to believe his potential theory and his method of least squares provided vital links between science and nature.
In 1832, Gauss and Weber began investigating the theory of terrestrial magnetism after Alexander von Humboldt attempted to obtain Gauss's assistance in making a grid of magnetic observation points around the Earth. Gauss was excited by this prospect and by 1840 he had written three important papers on the subject: Intensitas vis magneticae terrestris ad mensuram absolutam revocata (1832), Allgemeine Theorie des Erdmagnetismus (1839) and Allgemeine Lehrs?tze in Beziehung auf die im verkehrten Verh?ltnisse des Quadrats der Entfernung wirkenden Anziehungs- und Abstossungskr?fte (1840). These papers all dealt with the current theories on terrestrial magnetism, including Poisson's ideas, absolute measure for magnetic force and an empirical definition of terrestrial magnetism. Dirichlet's principle was mentioned without proof.
Allgemeine Theorie... showed that there can only be two poles in the globe and went on to prove an important theorem, which concerned the determination of the intensity of the horizontal component of the magnetic force along with the angle of inclination. Gauss used the Laplace equation to aid him with his calculations, and ended up specifying a location for the magnetic South pole.
Humboldt had devised a calendar for observations of magnetic declination. However, once Gauss's new magnetic observatory (completed in 1833 - free of all magnetic metals) had been built, he proceeded to alter many of Humboldt's procedures, not pleasing Humboldt greatly. However, Gauss's changes obtained more accurate results with less effort.
Gauss and Weber achieved much in their six years together. They discovered Kirchhoff's laws, as well as building a primitive telegraph device which could send messages over a distance of 5000 ft. However, this was just an enjoyable pastime for Gauss. He was more interested in the task of establishing a world-wide net of magnetic observation points. This occupation produced many concrete results. The Magnetischer Verein and its journal were founded, and the atlas of geomagnetism was published, while Gauss and Weber's own journal in which their results were published ran from 1836 to 1841.
In 1837, Weber was forced to leave G?ttingen when he became involved in a political dispute and, from this time, Gauss's activity gradually decreased. He still produced letters in response to fellow scientists' discoveries usually remarking that he had known the methods for years but had never felt the need to publish. Sometimes he seemed extremely pleased with advances made by other mathematicians, particularly that of Eisenstein and of Lobachevsky.
Gauss spent the years from 1845 to 1851 updating the G?ttingen University widow's fund. This work gave him practical experience in financial matters, and he went on to make his fortune through shrewd investments in bonds issued by private companies.
Two of Gauss's last doctoral students were Moritz Cantor and Dedekind. Dedekind wrote a fine description of his supervisor
... usually he sat in a comfortable attitude, looking down, slightly stooped, with hands folded above his lap. He spoke quite freely, very clearly, simply and plainly: but when he wanted to emphasise a new viewpoint ... then he lifted his head, turned to one of those sitting next to him, and gazed at him with his beautiful, penetrating blue eyes during the emphatic speech. ... If he proceeded from an explanation of principles to the development of mathematical formulas, then he got up, and in a stately very upright posture he wrote on a blackboard beside him in his peculiarly beautiful handwriting: he always succeeded through economy and deliberate arrangement in making do with a rather small space. For numerical examples, on whose careful completion he placed special value, he brought along the requisite data on little slips of paper.
Gauss presented his golden jubilee lecture in 1849, fifty years after his diploma had been granted by Helmstedt University. It was appropriately a variation on his dissertation of 1799. From the mathematical community only Jacobi and Dirichlet were present, but Gauss received many messages and honours.
From 1850 onwards Gauss's work was again nearly all of a practical nature although he did approve Riemann's doctoral thesis and heard his probationary lecture. His last known scientific exchange was with Gerling. He discussed a modified Foucault pendulum in 1854. He was also able to attend the opening of the new railway link between Hanover and G?ttingen, but this proved to be his last outing. His health deteriorated slowly, and Gauss died in his sleep early in the morning of 23 February, 1855.
Article by: J J O'Connor and E F Robertson
December 1996
MacTutor History of Mathematics
[http://www-history.mcs.st-andrews.ac.uk/Mathematicians/Gauss.html]
category
VBD
string
heard
kind
word
orth
lowercase
length
5
category
VBN
string
led
kind
word
orth
lowercase
length
3
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
differed
kind
word
orth
lowercase
length
8
kind
space
length
1
string
majorType
time_modifier
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
IN
string
for
kind
word
orth
lowercase
length
3
category
VBG
string
telling
kind
word
orth
lowercase
length
7
category
NNP
string
Weber
kind
word
orth
upperInitial
length
5
category
RB
string
only
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
director
kind
word
orth
lowercase
length
8
category
JJR
string
better
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
inveniendi
kind
word
orth
lowercase
length
10
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
pendulum
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Duchy
kind
word
orth
upperInitial
length
5
category
NN
string
discussion
kind
word
orth
lowercase
length
10
category
WDT
string
which
kind
word
orth
lowercase
length
5
majorType
organization_noun
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
CD
string
1849
kind
number
length
4
kind
space
length
1
string
kind
control
length
1
string
category
NN
string
mensuram
kind
word
orth
lowercase
length
8
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NN
string
teacher
kind
word
orth
lowercase
length
7
category
NNS
string
sections
kind
word
orth
lowercase
length
8
rule
mathematicianRule
voice
active
tense
Pre
type
PART
kind
space
length
1
string
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
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
JJ
string
subject
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
JJ
string
hypergeometric
kind
word
orth
lowercase
length
14
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
NNS
string
children
kind
word
orth
lowercase
length
8
category
VBG
string
making
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NN
string
wife
kind
word
orth
lowercase
length
4
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
VB
string
be
kind
word
orth
lowercase
length
2
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
NNP
string
K?stner
kind
word
orth
upperInitial
length
7
voice
active
tense
SimPas
type
FVG
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
VB
string
believe
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
external
category
IN
string
with
kind
word
orth
lowercase
length
4
category
VBN
string
proposed
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Schumacher
kind
word
orth
upperInitial
length
10
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NN
string
chair
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
IN
string
while
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNP
string
Farkas
kind
word
orth
upperInitial
length
6
category
IN
string
From
kind
word
orth
upperInitial
length
4
category
NN
string
pastime
kind
word
orth
lowercase
length
7
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
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
control
length
1
string
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
kind
external
category
IN
string
on
kind
word
orth
lowercase
length
2
category
JJ
string
early
kind
word
orth
lowercase
length
5
category
CD
string
1795
kind
number
length
4
rule
Unknown
kind
PN
rule
Unknown
kind
PN
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
external
kind
space
length
1
string
category
RB
string
already
kind
word
orth
lowercase
length
7
category
NNP
string
Quadrats
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
.
string
.
kind
punctuation
length
1
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
voice
active
tense
Inf
type
NFVG
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
NNS
string
bonds
kind
word
orth
lowercase
length
5
voice
none
tense
none
type
MODAL
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
telescope
kind
word
orth
lowercase
length
9
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
allgemeines
kind
word
orth
lowercase
length
11
majorType
time_modifier
kind
space
length
1
string
kind
space
length
1
string
category
WRB
string
where
kind
word
orth
lowercase
length
5
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
convenience
kind
word
orth
lowercase
length
11
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
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
NNP
string
Arithmeticae
kind
word
orth
upperInitial
length
12
category
NNP
string
Gerling
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
NN
string
astronomy
kind
word
orth
lowercase
length
9
category
IN
string
at
kind
word
orth
lowercase
length
2
rule2
YearOnlyFinal
rule1
TempYear1
kind
date
category
IN
string
After
kind
word
orth
upperInitial
length
5
category
IN
string
onto
kind
word
orth
lowercase
length
4
kind
space
length
1
string
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
kind
space
length
1
string
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
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
category
NN
string
existence
kind
word
orth
lowercase
length
9
category
.
string
.
kind
punctuation
length
1
kind
internal
category
NNP
string
Gauss
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
VBD
string
liked
kind
word
orth
lowercase
length
5
gender
female
rule
FirstName
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
des
kind
word
orth
lowercase
length
3
category
JJ
string
primitive
kind
word
orth
lowercase
length
9
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
CD
string
1996
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
category
CD
string
1828
kind
number
length
4
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
number
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Johanna
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
JJ
string
fundamental
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNP
string
University
kind
word
orth
upperInitial
length
10
kind
external
category
NNP
string
Piazzi
kind
word
orth
upperInitial
length
6
category
VBD
string
wanted
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
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
orgType
company
rule1
GazOrganization
rule2
OrgFinal
matches
229640;229662;229831;229633;229664;229622;229637
category
EX
string
There
kind
word
orth
upperInitial
length
5
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
PRP
string
it
kind
word
orth
lowercase
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
control
length
1
string
category
NNS
string
weeks
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
grid
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
NN
string
magnetism
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule1
TheOrgXBase
rule2
OrgFinal
matches
229713;229634
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
none
tense
Pas
type
PART
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VB
string
take
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
date
minorType
month
kind
space
length
1
string
category
RB
string
again
kind
word
orth
lowercase
length
5
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
IN
string
on
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
category
,
string
,
kind
punctuation
length
1
category
NN
string
degree
kind
word
orth
lowercase
length
6
category
JJ
string
Italian
kind
word
orth
upperInitial
length
7
category
NN
string
jubilee
kind
word
orth
lowercase
length
7
category
JJ
string
free
kind
word
orth
lowercase
length
4
kind
internal
category
NNS
string
compasses
kind
word
orth
lowercase
length
9
rule1
PersonFull
rule
PersonFinal
matches
229647;229836
kind
space
length
1
string
category
PRP
string
it
kind
word
orth
lowercase
length
2
category
NN
string
posture
kind
word
orth
lowercase
length
7
category
.
string
.
kind
punctuation
length
1
category
NN
string
introduction
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
control
length
1
string
category
VBD
string
summed
kind
word
orth
lowercase
length
6
category
IN
string
Despite
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
arrived
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
IN
string
Because
kind
word
orth
upperInitial
length
7
category
IN
string
on
kind
word
orth
lowercase
length
2
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
rule
JobTitle1
category
NN
string
work
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
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
category
JJ
string
corresponding
kind
word
orth
lowercase
length
13
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1831
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
orbit
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NN
string
action
kind
word
orth
lowercase
length
6
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
NNS
string
papers
kind
word
orth
lowercase
length
6
rule
LocOrg
matches
229640;229662;229831;229633;229664;229622;229637
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
pole
kind
word
orth
lowercase
length
4
majorType
time
minorType
hour
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
IN
string
at
kind
word
orth
lowercase
length
2
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
NNS
string
years
kind
word
orth
lowercase
length
5
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NNP
string
Hanover
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
IN
string
in
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
kind
space
length
1
string
majorType
number
category
.
string
.
kind
punctuation
length
1
category
JJ
string
magnetic
kind
word
orth
lowercase
length
8
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
J
kind
word
orth
upperInitial
length
1
category
VBN
string
agreed
kind
word
orth
lowercase
length
6
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NN
string
/
kind
punctuation
length
1
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBG
string
reducing
kind
word
orth
lowercase
length
8
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
internal
category
NNP
string
Carl
kind
word
orth
upperInitial
length
4
category
CD
string
1830
kind
number
length
4
category
VB
string
leave
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
kind
external
category
NN
string
theory
kind
word
orth
lowercase
length
6
category
JJ
string
next
kind
word
orth
lowercase
length
4
category
NN
string
obnoxiae
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
voice
active
tense
Pre
type
PART
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
gender
male
rule
FirstName
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNS
string
changes
kind
word
orth
lowercase
length
7
category
IN
string
without
kind
word
orth
lowercase
length
7
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
CD
string
1832
kind
number
length
4
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
category
NN
string
approximationem
kind
word
orth
lowercase
length
15
category
,
string
,
kind
punctuation
length
1
rule
Unknown
kind
PN
category
VBN
string
forced
kind
word
orth
lowercase
length
6
category
JJ
string
valuable
kind
word
orth
lowercase
length
8
category
PRP
string
him
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
internal
kind
space
length
1
string
category
NNP
string
G?ttingen
kind
word
orth
upperInitial
length
9
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
control
length
1
string
kind
space
length
1
string
category
NN
string
non-
kind
word
orth
lowercase
length
4
majorType
phone_prefix
category
TO
string
to
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
voice
none
tense
Pas
type
PART
rule
Unknown
kind
PN
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
category
NN
string
lecture
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
ad
kind
word
orth
lowercase
length
2
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
control
length
1
string
kind
space
length
1
string
category
JJ
string
second
kind
word
orth
lowercase
length
6
category
DT
string
the
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
category
VB
string
research
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
JJ
string
private
kind
word
orth
lowercase
length
7
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NNP
string
October
kind
word
orth
upperInitial
length
7
category
RBR
string
more
kind
word
orth
lowercase
length
4
category
IN
string
on
kind
word
orth
lowercase
length
2
category
DT
string
an
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
space
length
1
string
kind
space
length
1
string
gender
female
rule1
GazPersonFirst
rule
PersonFinal
matches
229646;229651
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
control
length
1
string
category
NNS
string
orbits
kind
word
orth
lowercase
length
6
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NNP
string
Tobias
kind
word
orth
upperInitial
length
6
category
NNS
string
sections
kind
word
orth
lowercase
length
8
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
CD
string
1831
kind
number
length
4
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NN
string
attitude
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
JJ
string
other
kind
word
orth
lowercase
length
5
category
NN
string
father
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
invented
kind
word
orth
lowercase
length
8
kind
space
length
1
string
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
VBG
string
reporting
kind
word
orth
lowercase
length
9
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
Martin
kind
word
orth
upperInitial
length
6
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
stop
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
Sometimes
kind
word
orth
upperInitial
length
9
kind
control
length
1
string
category
NNS
string
calculations
kind
word
orth
lowercase
length
12
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NNP
string
Farkas
kind
word
orth
upperInitial
length
6
category
NNP
string
der
kind
word
orth
lowercase
length
3
majorType
location
minorType
city
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
small
kind
word
orth
lowercase
length
5
category
CD
string
1841
kind
number
length
4
kind
space
length
1
string
category
RB
string
Again
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
B?ttner
kind
word
orth
upperInitial
length
7
voice
active
tense
SimPre
type
FVG
category
IN
string
for
kind
word
orth
lowercase
length
3
category
NN
string
wirkenden
kind
word
orth
lowercase
length
9
voice
active
tense
SimPas
type
FVG
category
NN
string
family
kind
word
orth
lowercase
length
6
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
VBZ
string
s
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
NN
string
blackboard
kind
word
orth
lowercase
length
10
category
NN
string
stipend
kind
word
orth
lowercase
length
7
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
active
tense
Inf
type
NFVG
category
NNS
string
neues
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
RB
string
greatly
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
planet
kind
word
orth
lowercase
length
6
category
JJS
string
best
kind
word
orth
lowercase
length
4
category
VBN
string
granted
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNS
string
methods
kind
word
orth
lowercase
length
7
category
EX
string
there
kind
word
orth
lowercase
length
5
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
space
kind
word
orth
lowercase
length
5
voice
active
tense
PasPer
type
FVG
category
NN
string
fact
kind
word
orth
lowercase
length
4
category
VB
string
have
kind
word
orth
lowercase
length
4
category
NN
string
mathematics
kind
word
orth
lowercase
length
11
kind
space
length
1
string
majorType
time
minorType
hour
category
NNS
string
methods
kind
word
orth
lowercase
length
7
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBN
string
ridiculed
kind
word
orth
lowercase
length
9
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
voice
active
tense
Pre
type
PART
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
task
kind
word
orth
lowercase
length
4
category
JJ
string
several
kind
word
orth
lowercase
length
7
kind
internal
category
NN
string
teacher
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
section
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
another
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Hanover
kind
word
orth
upperInitial
length
7
category
VBD
string
were
kind
word
orth
lowercase
length
4
category
NN
string
science
kind
word
orth
lowercase
length
7
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
NN
string
completion
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
internal
kind
space
length
1
string
category
CD
string
1817
kind
number
length
4
category
VBD
string
began
kind
word
orth
lowercase
length
5
category
JJ
string
magnetic
kind
word
orth
lowercase
length
8
category
CD
string
1801
kind
number
length
4
kind
space
length
1
string
category
NNP
string
Bolyai
kind
word
orth
upperInitial
length
6
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
VBG
string
including
kind
word
orth
lowercase
length
9
kind
internal
kind
control
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NN
string
character
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
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
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
category
NN
string
subject
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
orgType
company
rule1
GazOrganization
rule2
OrgFinal
matches
229640;229662;229831;229633;229664;229622;229637
kind
space
length
1
string
kind
internal
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
IN
string
In
kind
word
orth
upperInitial
length
2
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
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
VBN
string
mapped
kind
word
orth
lowercase
length
6
neg
yes
tense
SimPas
voice
active
type
FVG
category
NN
string
time
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
EX
string
there
kind
word
orth
lowercase
length
5
category
NN
string
telegraph
kind
word
orth
lowercase
length
9
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
category
NNP
string
Kirchhoff
kind
word
orth
upperInitial
length
9
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
category
NNP
string
Theorie
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
category
:
string
:
kind
punctuation
length
1
category
TO
string
to
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
RP
string
up
kind
word
orth
lowercase
length
2
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
IN
string
in
kind
word
orth
lowercase
length
2
category
RB
string
nearly
kind
word
orth
lowercase
length
6
category
RB
string
appropriately
kind
word
orth
lowercase
length
13
voice
active
tense
Inf
type
NFVG
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
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
gender
male
rule1
GazPersonFirst
rule
PersonFinal
matches
229645;229652;229650
kind
space
length
1
string
category
CD
string
23
kind
number
length
2
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
JJ
string
few
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBG
string
summing
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
category
.
string
.
kind
punctuation
length
1
majorType
organization
minorType
company
kind
space
length
1
string
category
PRP$
string
its
kind
word
orth
lowercase
length
3
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
majorType
date
minorType
ordinal
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
attend
kind
word
orth
lowercase
length
6
category
PRP
string
he
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
category
JJ
string
comfortable
kind
word
orth
lowercase
length
11
category
VBD
string
died
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
229454;229458;229459;229439;229443
kind
space
length
1
string
category
NN
string
work
kind
word
orth
lowercase
length
4
category
IN
string
after
kind
word
orth
lowercase
length
5
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VBD
string
supported
kind
word
orth
lowercase
length
9
kind
space
length
1
string
majorType
number
kind
space
length
1
string
majorType
location
minorType
city
kind
space
length
1
string
rule
Father2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
DT
string
no
kind
word
orth
lowercase
length
2
category
NNP
string
South
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
PRP$
string
their
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
external
category
NNS
string
discoveries
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
VBG
string
discussing
kind
word
orth
lowercase
length
10
category
NNS
string
forces
kind
word
orth
lowercase
length
6
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
magnetic
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
disappeared
kind
word
orth
lowercase
length
11
category
IN
string
while
kind
word
orth
lowercase
length
5
majorType
location
minorType
city
category
JJ
string
important
kind
word
orth
lowercase
length
9
voice
passive
tense
SimPas
type
FVG
category
NN
string
position
kind
word
orth
lowercase
length
8
category
NNP
string
G?ttingen
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
Unknown
kind
PN
voice
active
tense
Inf
type
NFVG
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
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
IN
string
on
kind
word
orth
lowercase
length
2
rule
mathematicianRule
category
PRP
string
them
kind
word
orth
lowercase
length
4
category
NN
string
theorem
kind
word
orth
lowercase
length
7
category
:
string
:
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
organization_noun
category
VBD
string
knew
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
VBD
string
obtained
kind
word
orth
lowercase
length
8
category
NN
string
force
kind
word
orth
lowercase
length
5
category
NNP
string
Johann
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
majorType
location
minorType
city
kind
space
length
1
string
category
PRP$
string
his
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
DT
string
The
kind
word
orth
upperInitial
length
3
category
JJ
string
probationary
kind
word
orth
lowercase
length
12
kind
space
length
1
string
rule
JobTitle1
rule
mathematicianRule
matches
229385;229426;229423
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
voice
passive
tense
PasPer
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
mentioned
kind
word
orth
lowercase
length
9
category
JJ
string
doctoral
kind
word
orth
lowercase
length
8
kind
internal
category
DT
string
each
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
letter
kind
word
orth
lowercase
length
6
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
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
folded
kind
word
orth
lowercase
length
6
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
category
MD
string
can
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
In
kind
word
orth
upperInitial
length
2
category
CD
string
one
kind
word
orth
lowercase
length
3
kind
space
length
1
string
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
VB
string
be
kind
word
orth
lowercase
length
2
category
IN
string
by
kind
word
orth
lowercase
length
2
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
rule
Unknown
kind
PN
category
NN
string
http
kind
word
orth
lowercase
length
4
kind
internal
category
IN
string
by
kind
word
orth
lowercase
length
2
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
revocata
kind
word
orth
lowercase
length
8
category
CD
string
3
kind
number
length
1
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
majorType
stop
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
control
length
1
string
category
VBN
string
modified
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
supervisor
kind
word
orth
lowercase
length
10
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
NN
string
data
kind
word
orth
lowercase
length
4
category
NNP
string
Farkas
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
VBN
string
completed
kind
word
orth
lowercase
length
9
category
VBD
string
came
kind
word
orth
lowercase
length
4
category
IN
string
by
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
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
majorType
org_base
kind
space
length
1
string
category
JJ
string
great
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
proof
kind
word
orth
lowercase
length
5
category
VBD
string
left
kind
word
orth
lowercase
length
4
category
NN
string
volume
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule
Unknown
kind
PN
rule
Unknown
kind
PN
rule
Unknown
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
kind
PN
NMRule
Unknown
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
magnetic
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
position
kind
word
orth
lowercase
length
8
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
CD
string
1807
kind
number
length
4
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
internal
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
POS
string
's
kind
word
orth
apostrophe
length
2
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
category
NNP
string
Bestimmung
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
theorem
kind
word
orth
lowercase
length
7
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
RB
string
particularly
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
majorType
jobtitle
majorType
jobtitle
category
POS
string
's
kind
word
orth
apostrophe
length
2
majorType
stop
category
JJ
string
careful
kind
word
orth
lowercase
length
7
category
NN
string
thesis
kind
word
orth
lowercase
length
6
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
JJ
string
Greek
kind
word
orth
upperInitial
length
5
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
category
JJ
string
new
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
never
kind
word
orth
lowercase
length
5
voice
passive
tense
SimPas
type
FVG
category
IN
string
for
kind
word
orth
lowercase
length
3
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
IN
string
because
kind
word
orth
lowercase
length
7
category
DT
string
a
kind
word
orth
lowercase
length
1
category
VBN
string
asked
kind
word
orth
lowercase
length
5
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
NN
string
ein
kind
word
orth
lowercase
length
3
kind
space
length
1
string
orgType
company
rule1
GazOrganization
rule2
OrgFinal
matches
229661;229639;229628
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
JJ
string
small
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
book
kind
word
orth
lowercase
length
4
category
JJ
string
keen
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
external
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
category
NN
string
dissertation
kind
word
orth
lowercase
length
12
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NNS
string
procedures
kind
word
orth
lowercase
length
10
voice
none
tense
none
type
MODAL
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NN
string
planet
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
gender
male
rule
FirstName
category
JJ
string
personal
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NN
string
existence
kind
word
orth
lowercase
length
9
rule
Unknown
kind
PN
kind
space
length
1
string
category
NNS
string
investments
kind
word
orth
lowercase
length
11
kind
space
length
1
string
majorType
date_unit
category
CD
string
seven
kind
word
orth
lowercase
length
5
voice
active
tense
SimPas
type
FVG
category
VBD
string
had
kind
word
orth
lowercase
length
3
rule2
DateOnlyFinal
rule1
YearSpan1
kind
date
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNS
string
links
kind
word
orth
lowercase
length
5
category
VBD
string
entered
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
CD
string
1825
kind
number
length
4
category
NNP
string
Entfernung
kind
word
orth
upperInitial
length
10
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
category
''
string
"
kind
punctuation
length
1
category
NNP
string
Prussian
kind
word
orth
upperInitial
length
8
category
NN
string
correspondence
kind
word
orth
lowercase
length
14
category
CD
string
1837
kind
number
length
4
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NNP
string
Poisson
kind
word
orth
upperInitial
length
7
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Minna
kind
word
orth
upperInitial
length
5
category
CD
string
1833
kind
number
length
4
category
CD
string
15
kind
number
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
.
string
.
kind
punctuation
length
1
category
VBD
string
discussed
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
control
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
category
JJ
string
possible
kind
word
orth
lowercase
length
8
category
NN
string
work
kind
word
orth
lowercase
length
4
category
JJ
string
High
kind
word
orth
upperInitial
length
4
category
NNP
string
Duke
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
JJ
string
new
kind
word
orth
lowercase
length
3
category
NN
string
ruler
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
RB
string
as
kind
word
orth
lowercase
length
2
category
NNP
string
Germany
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
DateName
kind
date
category
DT
string
a
kind
word
orth
lowercase
length
1
category
WRB
string
when
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
external
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Theorie
kind
word
orth
upperInitial
length
7
category
RBR
string
more
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJ
string
mathematical
kind
word
orth
lowercase
length
12
category
NN
string
und
kind
word
orth
lowercase
length
3
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
category
NN
string
tragedy
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
JJ
string
magnetic
kind
word
orth
lowercase
length
8
category
VBN
string
been
kind
word
orth
lowercase
length
4
category
NNP
string
Euclidean
kind
word
orth
upperInitial
length
9
category
IN
string
on
kind
word
orth
lowercase
length
2
category
VBN
string
known
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
orbit
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
dissertation
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
majorType
jobtitle
kind
space
length
1
string
majorType
surname
minorType
prefix
category
JJ
string
other
kind
word
orth
lowercase
length
5
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNP
string
Schumacher
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
VBG
string
making
kind
word
orth
lowercase
length
6
category
JJ
string
current
kind
word
orth
lowercase
length
7
voice
active
tense
Pre
type
PART
category
NNP
string
Solem
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
category
CD
string
seven
kind
word
orth
lowercase
length
5
majorType
loc_key
minorType
pre
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJ
string
beautiful
kind
word
orth
lowercase
length
9
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
NNP
string
University
kind
word
orth
upperInitial
length
10
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
category
IN
string
along
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
CD
string
two
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
category
NNS
string
hands
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule
PersonFinal
rule1
GazPersonFirst
gender
female
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
VBN
string
chosen
kind
word
orth
lowercase
length
6
category
VBD
string
was
kind
word
orth
lowercase
length
3
voice
active
tense
Pre
type
PART
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
placed
kind
word
orth
lowercase
length
6
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
majorType
date
minorType
ordinal
kind
space
length
1
string
kind
internal
kind
space
length
1
string
category
DT
string
all
kind
word
orth
lowercase
length
3
category
VBD
string
achieved
kind
word
orth
lowercase
length
8
kind
internal
category
NNP
string
Duke
kind
word
orth
upperInitial
length
4
category
WRB
string
when
kind
word
orth
lowercase
length
4
kind
space
length
1
string
majorType
time_unit
kind
space
length
1
string
kind
space
length
1
string
rule
PersonFinal
rule1
PersonFull
gender
male
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
CD
string
one
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
category
TO
string
to
kind
word
orth
lowercase
length
2
category
RB
string
quite
kind
word
orth
lowercase
length
5
category
CD
string
1845
kind
number
length
4
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
category
VB
string
obtain
kind
word
orth
lowercase
length
6
kind
space
length
1
string
majorType
number
voice
active
tense
SimPas
type
FVG
kind
control
length
1
string
category
PRP$
string
its
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VB
string
have
kind
word
orth
lowercase
length
4
category
CC
string
but
kind
word
orth
lowercase
length
3
category
NN
string
book
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
category
IN
string
at
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
JobTitle1
kind
space
length
1
string
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
IN
string
behind
kind
word
orth
lowercase
length
6
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
NNS
string
combinationis
kind
word
orth
lowercase
length
13
category
JJ
string
theoretical
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
RB
string
once
kind
word
orth
lowercase
length
4
kind
internal
category
VBD
string
died
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
binomial
kind
word
orth
lowercase
length
8
category
WP
string
whom
kind
word
orth
lowercase
length
4
rule
Unknown
kind
PN
category
VB
string
link
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
VBD
string
believed
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
JJ
string
enjoyable
kind
word
orth
lowercase
length
9
kind
control
length
1
string
kind
space
length
1
string
category
JJ
string
first
kind
word
orth
lowercase
length
5
category
JJ
string
rediscovered
kind
word
orth
lowercase
length
12
majorType
date_unit
category
NN
string
exchange
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
internal
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
IN
string
with
kind
word
orth
lowercase
length
4
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
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
NNP
string
Zach
kind
word
orth
upperInitial
length
4
category
VBN
string
advised
kind
word
orth
lowercase
length
7
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
rule
Unknown
kind
PN
voice
none
tense
HaveVBN
type
MODAL
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
internal
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NNS
string
points
kind
word
orth
lowercase
length
6
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
IN
string
of
kind
word
orth
lowercase
length
2
kind
control
length
1
string
kind
space
length
1
string
rule
PersonFinal
rule1
PersonFull
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
surface
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
category
WRB
string
when
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
control
length
1
string
category
VBG
string
arguing
kind
word
orth
lowercase
length
7
category
VBN
string
dealt
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
rule
Father2
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
internal
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
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
observations
kind
word
orth
lowercase
length
12
majorType
organization_noun
category
NN
string
heliotrope
kind
word
orth
lowercase
length
10
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
non-
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
PRP
string
him
kind
word
orth
lowercase
length
3
category
VBN
string
inspired
kind
word
orth
lowercase
length
8
kind
space
length
1
string
rule
mathematicianRule
matches
229431;229462
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
second
kind
word
orth
lowercase
length
6
rule
Unknown
kind
PN
category
WP
string
who
kind
word
orth
lowercase
length
3
category
RB
string
only
kind
word
orth
lowercase
length
4
rule
Unknown
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
kind
PN
NMRule
Unknown
category
IN
string
of
kind
word
orth
lowercase
length
2
category
JJ
string
requisite
kind
word
orth
lowercase
length
9
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
active
tense
Inf
type
NFVG
rule2
YearOnlyFinal
rule1
TempYear1
kind
date
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
absolutam
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
RB
string
always
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
late
kind
word
orth
lowercase
length
4
rule
Unknown
kind
PN
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
capacity
kind
word
orth
lowercase
length
8
category
,
string
,
kind
punctuation
length
1
category
NN
string
?ber
kind
word
orth
upperInitial
length
4
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
VBD
string
stopped
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
Helmstedt
kind
word
orth
upperInitial
length
9
category
IN
string
on
kind
word
orth
lowercase
length
2
category
NN
string
variation
kind
word
orth
lowercase
length
9
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
gender
male
rule1
PersonFull
rule
PersonFinal
matches
229626;229839
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
years
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
majorType
number
kind
space
length
1
string
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
VBN
string
issued
kind
word
orth
lowercase
length
6
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
majorType
date
minorType
month
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
control
length
1
string
kind
space
length
1
string
category
NNP
string
der
kind
word
orth
lowercase
length
3
category
IN
string
on
kind
word
orth
lowercase
length
2
category
NNS
string
subjects
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBG
string
building
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VBD
string
seemed
kind
word
orth
lowercase
length
6
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
fact
kind
word
orth
lowercase
length
4
majorType
organization_noun
category
.
string
.
kind
punctuation
length
1
kind
control
length
1
string
kind
internal
kind
external
kind
space
length
1
string
kind
control
length
1
string
category
VB
string
disclose
kind
word
orth
lowercase
length
8
majorType
number
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
PRP
string
He
kind
word
orth
upperInitial
length
2
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
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
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
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
organization_noun
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
active
tense
Pre
type
PART
majorType
number
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBG
string
establishing
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
CD
string
1828
kind
number
length
4
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
physics
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
category
NNP
string
Verein
kind
word
orth
upperInitial
length
6
category
RB
string
never
kind
word
orth
lowercase
length
5
category
VB
string
submit
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
VBN
string
pleased
kind
word
orth
lowercase
length
7
category
DT
string
an
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
majorType
date_unit
category
JJ
string
renowned
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
external
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NNP
string
Berlin
kind
word
orth
upperInitial
length
6
category
.
string
.
kind
punctuation
length
1
voice
active
tense
Pre
type
PART
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
majorType
organization_noun
kind
internal
category
NNP
string
Berlin
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
IN
string
in
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
rule
PersonFinal
rule1
PersonFull
gender
female
kind
space
length
1
string
category
NN
string
birth
kind
word
orth
lowercase
length
5
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
years
kind
word
orth
lowercase
length
5
category
JJ
string
interested
kind
word
orth
lowercase
length
10
category
PRP$
string
its
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
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
kind
space
length
1
string
kind
space
length
1
string
majorType
location
minorType
city
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
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
.
string
.
kind
punctuation
length
1
category
NN
string
learnt
kind
word
orth
lowercase
length
6
category
VBD
string
went
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
VB
string
work
kind
word
orth
lowercase
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
control
length
1
string
kind
space
length
1
string
majorType
stop
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
At
kind
word
orth
upperInitial
length
2
category
IN
string
of
kind
word
orth
lowercase
length
2
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NN
string
community
kind
word
orth
lowercase
length
9
category
,
string
,
kind
punctuation
length
1
category
VBN
string
excited
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
rule2
OrgFinal
rule1
BaseofOrg
category
NNP
string
Erdmagnetismus
kind
word
orth
upperInitial
length
14
category
NNS
string
formulas
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
kind
space
length
1
string
kind
space
length
1
string
majorType
stop
voice
active
tense
Pre
type
PART
voice
active
tense
Pre
type
PART
kind
control
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NN
string
component
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
PRP
string
They
kind
word
orth
upperInitial
length
4
category
CD
string
101
kind
number
length
3
voice
active
tense
SimPas
type
FVG
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
VBN
string
come
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
DT
string
a
kind
word
orth
lowercase
length
1
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJS
string
least
kind
word
orth
lowercase
length
5
category
IN
string
between
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
majorType
date
minorType
ordinal
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
RBS
string
most
kind
word
orth
lowercase
length
4
voice
active
tense
Pre
type
PART
category
NNP
string
Geod?sie
kind
word
orth
upperInitial
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
category
JJ
string
able
kind
word
orth
lowercase
length
4
kind
external
category
JJ
string
much
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
potential
kind
word
orth
lowercase
length
9
category
CD
string
1817
kind
number
length
4
kind
space
length
1
string
voice
none
tense
none
type
MODAL
category
VBG
string
fighting
kind
word
orth
lowercase
length
8
category
RB
string
freely
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
,
string
,
kind
punctuation
length
1
kind
internal
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
kind
space
length
1
string
voice
active
tense
Per
type
NFVG
category
RP
string
up
kind
word
orth
lowercase
length
2
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
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
/
kind
punctuation
length
1
category
NN
string
night
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
RB
string
well
kind
word
orth
lowercase
length
4
category
VB
string
study
kind
word
orth
lowercase
length
5
category
JJ
string
interested
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
VBN
string
spent
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
category
IN
string
with
kind
word
orth
lowercase
length
4
category
VB
string
die
kind
word
orth
lowercase
length
3
category
NNS
string
values
kind
word
orth
lowercase
length
6
kind
control
length
1
string
category
RBS
string
most
kind
word
orth
lowercase
length
4
category
NNP
string
VII
kind
word
orth
allCaps
length
3
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
Unknown
kind
PN
category
,
string
,
kind
punctuation
length
1
voice
active
tense
SimPre
type
FVG
category
CD
string
three
kind
word
orth
lowercase
length
5
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
VBD
string
proved
kind
word
orth
lowercase
length
6
kind
internal
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBZ
string
mirrors
kind
word
orth
lowercase
length
7
majorType
location
minorType
country
category
NNP
string
Ceres
kind
word
orth
upperInitial
length
5
voice
active
tense
SimPas
type
FVG
category
IN
string
through
kind
word
orth
lowercase
length
7
orgType
company
rule1
GazOrganization
rule2
OrgFinal
matches
229640;229662;229831;229633;229664;229622;229637
category
NN
string
prospect
kind
word
orth
lowercase
length
8
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
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
kind
internal
category
NN
string
distance
kind
word
orth
lowercase
length
8
category
RB
string
together
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
majorType
number
kind
space
length
1
string
category
VBD
string
sent
kind
word
orth
lowercase
length
4
category
JJ
string
little
kind
word
orth
lowercase
length
6
category
NNP
string
Collegium
kind
word
orth
upperInitial
length
9
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
JJ
string
new
kind
word
orth
lowercase
length
3
majorType
country_adj
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
CC
string
and
kind
word
orth
lowercase
length
3
category
CD
string
one
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
RB
string
not
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
internal
rule2
DateOnlyFinal
rule1
DateName
kind
date
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
category
NN
string
curvature
kind
word
orth
lowercase
length
9
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
age
kind
word
orth
lowercase
length
3
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
NNP
string
Moritz
kind
word
orth
upperInitial
length
6
category
DT
string
this
kind
word
orth
lowercase
length
4
category
VBN
string
deteriorated
kind
word
orth
lowercase
length
12
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
kind
internal
category
VBD
string
discussed
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NNP
string
Allgemeine
kind
word
orth
upperInitial
length
10
rule2
DateOnlyFinal
rule1
DateName
kind
date
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
voice
none
tense
Pas
type
PART
kind
space
length
1
string
kind
control
length
1
string
category
NN
string
progress
kind
word
orth
lowercase
length
8
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
IN
string
with
kind
word
orth
lowercase
length
4
category
NN
string
observationum
kind
word
orth
lowercase
length
13
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
kind
space
length
1
string
category
DT
string
These
kind
word
orth
upperInitial
length
5
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
,
string
,
kind
punctuation
length
1
category
CD
string
70
kind
number
length
2
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
along
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1801
kind
number
length
4
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NN
string
egregrium
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VBG
string
spotting
kind
word
orth
lowercase
length
8
category
NNP
string
Theoria
kind
word
orth
upperInitial
length
7
category
NNP
string
Johanna
kind
word
orth
upperInitial
length
7
category
PRP
string
him
kind
word
orth
lowercase
length
3
category
IN
string
from
kind
word
orth
lowercase
length
4
category
NN
string
job
kind
word
orth
lowercase
length
3
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
rule
mathematicianRule
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
VBD
string
investigated
kind
word
orth
lowercase
length
12
category
IN
string
beside
kind
word
orth
lowercase
length
6
category
VBG
string
filling
kind
word
orth
lowercase
length
7
kind
space
length
1
string
gender
female
rule
FirstName
kind
space
length
1
string
category
WP
string
who
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
external
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
small
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
none
tense
Pas
type
PART
category
VBD
string
published
kind
word
orth
lowercase
length
9
category
IN
string
on
kind
word
orth
lowercase
length
2
majorType
number
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
kind
space
length
1
string
neg
yes
tense
SimPas
voice
active
type
FVG
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NNP
string
University
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
category
NN
string
fellow
kind
word
orth
lowercase
length
6
kind
space
length
1
string
majorType
country_adj
kind
space
length
1
string
category
NN
string
observation
kind
word
orth
lowercase
length
11
category
VBD
string
provided
kind
word
orth
lowercase
length
8
category
CD
string
1855
kind
number
length
4
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
IN
string
since
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NN
string
age
kind
word
orth
lowercase
length
3
category
CD
string
50
kind
number
length
2
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
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
category
,
string
,
kind
punctuation
length
1
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
category
NN
string
integralium
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NN
string
survey
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
majorType
number
category
VBD
string
discovered
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
NN
string
publishing
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
control
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBD
string
published
kind
word
orth
lowercase
length
9
category
VBN
string
developed
kind
word
orth
lowercase
length
9
rule
Unknown
kind
PN
category
CD
string
9
kind
number
length
1
category
NNS
string
ideas
kind
word
orth
lowercase
length
5
category
VBD
string
attempted
kind
word
orth
lowercase
length
9
majorType
organization_noun
category
PRP
string
they
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
DT
string
all
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CD
string
1788
kind
number
length
4
rule
Unknown
kind
PN
rule
Unknown
kind
PN
kind
space
length
1
string
category
VBN
string
shattered
kind
word
orth
lowercase
length
9
category
RB
string
only
kind
word
orth
lowercase
length
4
majorType
organization
minorType
company
rule
Unknown
kind
PN
category
IN
string
between
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
external
kind
space
length
1
string
voice
active
tense
SimPre
type
FVG
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
category
VBN
string
devised
kind
word
orth
lowercase
length
7
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
majorType
organization_noun
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
majorType
date_unit
kind
space
length
1
string
category
VBG
string
using
kind
word
orth
lowercase
length
5
rule
Father2
category
NNP
string
Mathematics
kind
word
orth
upperInitial
length
11
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
VBD
string
found
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
JJ
string
empirical
kind
word
orth
lowercase
length
9
category
NN
string
aequilibrii
kind
word
orth
lowercase
length
11
category
CD
string
1799
kind
number
length
4
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
JJ
string
corresponding
kind
word
orth
lowercase
length
13
gender
male
rule
FirstName
category
NNS
string
mcs
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1831
kind
number
length
4
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
category
DT
string
the
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
control
length
1
string
kind
space
length
1
string
kind
internal
category
VBD
string
were
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
major
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
number
voice
active
tense
SimPas
type
FVG
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
methodus
kind
word
orth
lowercase
length
8
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
NNP
string
E
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
category
IN
string
If
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
majorType
date
minorType
month
category
VBN
string
predicted
kind
word
orth
lowercase
length
9
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
internal
kind
space
length
1
string
majorType
time
minorType
hour
kind
space
length
1
string
kind
space
length
1
string
rule
NotOrgXBase
kind
notorgName
category
NNP
string
Laplace
kind
word
orth
upperInitial
length
7
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
NNS
string
generales
kind
word
orth
lowercase
length
9
voice
passive
tense
SimPas
type
FVG
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
NNS
string
triangles
kind
word
orth
lowercase
length
9
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
RBS
string
most
kind
word
orth
lowercase
length
4
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
NNP
string
B?ttner
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
VBG
string
giving
kind
word
orth
lowercase
length
6
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
space
length
1
string
category
NNS
string
papers
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Gerling
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
previously
kind
word
orth
lowercase
length
10
category
DT
string
a
kind
word
orth
lowercase
length
1
rule2
DateOnlyFinal
rule1
DateName
kind
date
category
PRP
string
himself
kind
word
orth
lowercase
length
7
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
majorType
jobtitle
kind
external
category
VBN
string
published
kind
word
orth
lowercase
length
9
category
JJ
string
new
kind
word
orth
lowercase
length
3
category
NNS
string
metals
kind
word
orth
lowercase
length
6
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
category
VBD
string
sat
kind
word
orth
lowercase
length
3
category
IN
string
with
kind
word
orth
lowercase
length
4
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
kind
internal
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
gender
male
matches
229626;229839
rule
Unknown
NMRule
Unknown
kind
PN
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
NN
string
circa
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NN
string
value
kind
word
orth
lowercase
length
5
category
NN
string
celestial
kind
word
orth
lowercase
length
9
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
IN
string
during
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
control
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
category
NNP
string
University
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearSpan3
kind
date
category
NNP
string
June
kind
word
orth
upperInitial
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
VBN
string
worked
kind
word
orth
lowercase
length
6
category
DT
string
this
kind
word
orth
lowercase
length
4
category
CC
string
but
kind
word
orth
lowercase
length
3
category
NN
string
area
kind
word
orth
lowercase
length
4
voice
active
tense
PasPer
type
FVG
category
VBG
string
sitting
kind
word
orth
lowercase
length
7
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
kind
internal
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
kind
space
length
1
string
category
VBD
string
had
kind
word
orth
lowercase
length
3
category
VBN
string
been
kind
word
orth
lowercase
length
4
majorType
date
minorType
month
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
category
VBD
string
did
kind
word
orth
lowercase
length
3
category
NN
string
paper
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VB
string
gather
kind
word
orth
lowercase
length
6
category
NN
string
function
kind
word
orth
lowercase
length
8
category
VB
string
be
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
kind
space
length
1
string
category
VBD
string
used
kind
word
orth
lowercase
length
4
kind
internal
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
existence
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gaussian
kind
word
orth
upperInitial
length
8
category
NNS
string
messages
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
NN
string
health
kind
word
orth
lowercase
length
6
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
WRB
string
When
kind
word
orth
upperInitial
length
4
category
CD
string
1820
kind
number
length
4
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
IN
string
by
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
VBD
string
ran
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
majorType
organization_noun
category
VBN
string
made
kind
word
orth
lowercase
length
4
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
PRP$
string
your
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
MD
string
could
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
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
importance
kind
word
orth
lowercase
length
10
category
CC
string
and
kind
word
orth
lowercase
length
3
category
IN
string
of
kind
word
orth
lowercase
length
2
rule
mathematicianRule
matches
229385;229426;229423
kind
space
length
1
string
category
JJ
string
practical
kind
word
orth
lowercase
length
9
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
non-
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
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
famous
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NNP
string
Dedekind
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
RB
string
However
kind
word
orth
upperInitial
length
7
kind
internal
kind
space
length
1
string
category
NN
string
observatory
kind
word
orth
lowercase
length
11
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
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
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
received
kind
word
orth
lowercase
length
8
category
JJ
string
long
kind
word
orth
lowercase
length
4
kind
control
length
1
string
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
category
NNS
string
pairs
kind
word
orth
lowercase
length
5
category
RB
string
later
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
voice
passive
tense
SimPas
type
FVG
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
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
nova
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
gender
female
rule1
PersonFull
rule
PersonFinal
matches
229667;229659;229669
category
DT
string
a
kind
word
orth
lowercase
length
1
category
RB
string
genuinely
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
independently
kind
word
orth
lowercase
length
13
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
NN
string
mapping
kind
word
orth
lowercase
length
7
majorType
date_unit
category
VBG
string
indicating
kind
word
orth
lowercase
length
10
gender
male
rule
FirstName
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
category
NNP
string
Weber
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
majorType
number
rule
Unknown
kind
PN
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
external
voice
active
tense
PasPer
type
FVG
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
vital
kind
word
orth
lowercase
length
5
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
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
external
category
VBD
string
had
kind
word
orth
lowercase
length
3
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
IN
string
in
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
definition
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
PRP$
string
their
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NNP
string
MacTutor
kind
word
orth
mixedCaps
length
8
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
majorType
stop
kind
space
length
1
string
category
NN
string
statu
kind
word
orth
lowercase
length
5
category
VB
string
be
kind
word
orth
lowercase
length
2
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
MD
string
should
kind
word
orth
lowercase
length
6
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
(
string
(
kind
punctuation
position
startpunct
length
1
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
German
kind
word
orth
upperInitial
length
6
category
PRP$
string
his
kind
word
orth
lowercase
length
3
voice
active
tense
Inf
type
NFVG
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Anziehungs-
kind
word
orth
upperInitial
length
11
rule
mathematicianRule
matches
229466;229467
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
proved
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NN
string
time
kind
word
orth
lowercase
length
4
category
VBD
string
spoke
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
date
minorType
ordinal
category
IN
string
In
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
now
kind
word
orth
lowercase
length
3
category
PRP$
string
her
kind
word
orth
lowercase
length
3
category
VBZ
string
belongs
kind
word
orth
lowercase
length
7
gender
male
rule
FirstName
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
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
O
kind
word
orth
upperInitial
length
1
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
rule1
PersonFullStop
rule
PersonFinal
matches
229723;229842;229847
kind
space
length
1
string
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
NNP
string
Lehrs?tze
kind
word
orth
upperInitial
length
9
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
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
DT
string
a
kind
word
orth
lowercase
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
VBN
string
amazed
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Jacobi
kind
word
orth
upperInitial
length
6
category
DT
string
the
kind
word
orth
lowercase
length
3
category
.
string
.
kind
punctuation
length
1
rule
Unknown
kind
PN
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
NNS
string
attractionis
kind
word
orth
lowercase
length
12
kind
external
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
sleep
kind
word
orth
lowercase
length
5
category
JJ
string
st-andrews
kind
word
orth
lowercase
length
10
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
NNP
string
G?ttingen
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
academy
kind
word
orth
lowercase
length
7
category
JJ
string
other
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
after
kind
word
orth
lowercase
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
description
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
space
length
1
string
category
VBN
string
used
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
constraint
kind
word
orth
lowercase
length
10
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
.
string
.
kind
punctuation
length
1
category
VBD
string
had
kind
word
orth
lowercase
length
3
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
JJ
string
special
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
control
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
IN
string
through
kind
word
orth
lowercase
length
7
category
JJ
string
emphatic
kind
word
orth
lowercase
length
8
category
VBD
string
confided
kind
word
orth
lowercase
length
8
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
NNP
string
Bartels
kind
word
orth
upperInitial
length
7
category
NN
string
theorem
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
category
.
string
.
kind
punctuation
length
1
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
IN
string
above
kind
word
orth
lowercase
length
5
category
NN
string
circa
kind
word
orth
lowercase
length
5
category
VBD
string
left
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
der
kind
word
orth
lowercase
length
3
rule2
LocFinal
rule1
InLoc1
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
IN
string
by
kind
word
orth
lowercase
length
2
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
majorType
org_base
gender
male
matches
229701;229837;229838;229841
rule
Unknown
NMRule
Unknown
kind
PN
kind
space
length
1
string
rule
Unknown
kind
PN
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
PRP$
string
his
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
its
kind
word
orth
lowercase
length
3
category
NNP
string
Theoria
kind
word
orth
upperInitial
length
7
majorType
org_base
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
number
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
year
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBD
string
began
kind
word
orth
lowercase
length
5
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
rule
mathematicianRule
matches
229385;229426;229423
voice
active
tense
SimPas
type
FVG
category
NN
string
stipend
kind
word
orth
lowercase
length
7
category
NNP
string
Olbers
kind
word
orth
upperInitial
length
6
rule2
DateOnlyFinal
rule1
GazDate
kind
date
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
voice
none
tense
Pas
type
PART
category
VBD
string
published
kind
word
orth
lowercase
length
9
category
.
string
.
kind
punctuation
length
1
category
IN
string
until
kind
word
orth
lowercase
length
5
kind
space
length
1
string
voice
none
tense
Pre
type
SPECIAL
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
voice
active
tense
Pre
type
PART
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
PRP$
string
His
kind
word
orth
upperInitial
length
3
category
.
string
.
kind
punctuation
length
1
category
JJ
string
elliptic
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
kind
internal
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
rule
Unknown
kind
PN
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
internal
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
network
kind
word
orth
lowercase
length
7
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
paper
kind
word
orth
lowercase
length
5
category
VBD
string
succeeded
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
CD
string
six
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
PRP
string
himself
kind
word
orth
lowercase
length
7
category
,
string
,
kind
punctuation
length
1
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
NNP
string
Disquisitiones
kind
word
orth
upperInitial
length
14
voice
active
tense
Inf
type
NFVG
category
IN
string
over
kind
word
orth
lowercase
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
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
external
kind
space
length
1
string
category
VB
string
send
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
years
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
NN
string
volume
kind
word
orth
lowercase
length
6
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
category
NNP
string
Mayer
kind
word
orth
upperInitial
length
5
category
NN
string
work
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNS
string
students
kind
word
orth
lowercase
length
8
category
NN
string
]
kind
punctuation
position
endpunct
length
1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
category
NN
string
orbit
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
location
minorType
city
category
NN
string
design
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBN
string
based
kind
word
orth
lowercase
length
5
category
VBD
string
devoted
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
magnetism
kind
word
orth
lowercase
length
9
category
DT
string
this
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Ostoff
kind
word
orth
upperInitial
length
6
rule
Unknown
kind
PN
kind
space
length
1
string
category
IN
string
per
kind
word
orth
lowercase
length
3
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
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
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
VBN
string
known
kind
word
orth
lowercase
length
5
majorType
organization
minorType
company
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
DT
string
the
kind
word
orth
lowercase
length
3
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
NNP
string
Disquisitiones
kind
word
orth
upperInitial
length
14
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
voice
none
tense
Pas
type
PART
category
NNS
string
predictions
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229454;229458;229459;229439;229443
kind
space
length
1
string
voice
active
tense
Pre
type
PART
majorType
time
minorType
hour
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NNP
string
Prize
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
PRP$
string
his
kind
word
orth
lowercase
length
3
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
VBD
string
died
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
nature
kind
word
orth
lowercase
length
6
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
IN
string
for
kind
word
orth
lowercase
length
3
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
voice
active
tense
PasPer
type
FVG
rule
Unknown
kind
PN
category
NNP
string
December
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
kind
internal
voice
active
tense
SimPas
type
FVG
category
JJ
string
geometric
kind
word
orth
lowercase
length
9
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
CD
string
1828
kind
number
length
4
category
JJ
string
last
kind
word
orth
lowercase
length
4
category
CD
string
1825
kind
number
length
4
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
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
kind
space
length
1
string
rule
mathematicianRule
matches
229429;229427;229424;229386
kind
space
length
1
string
majorType
organization_noun
category
IN
string
after
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
NNS
string
matters
kind
word
orth
lowercase
length
7
category
NNS
string
children
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
majorType
time_unit
majorType
stop
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
control
length
1
string
kind
space
length
1
string
kind
control
length
1
string
voice
active
tense
SimPas
type
FVG
category
NNP
string
Bode
kind
word
orth
upperInitial
length
4
kind
internal
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
Pre
type
PART
category
IN
string
around
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBD
string
spent
kind
word
orth
lowercase
length
5
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
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
day
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
History
kind
word
orth
upperInitial
length
7
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
NN
string
sum
kind
word
orth
lowercase
length
3
rule
Unknown
kind
PN
kind
space
length
1
string
category
VB
string
go
kind
word
orth
lowercase
length
2
voice
active
tense
Inf
type
NFVG
category
NNP
string
J
kind
word
orth
upperInitial
length
1
kind
internal
category
TO
string
to
kind
word
orth
lowercase
length
2
category
,
string
,
kind
punctuation
length
1
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
female
class
Person
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
head
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
category
IN
string
as
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
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
NN
string
tractata
kind
word
orth
lowercase
length
8
category
IN
string
of
kind
word
orth
lowercase
length
2
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
although
kind
word
orth
lowercase
length
8
category
JJ
string
extraordinary
kind
word
orth
lowercase
length
13
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
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
Humboldt
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NN
string
state
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
CD
string
1854
kind
number
length
4
category
JJ
string
famous
kind
word
orth
lowercase
length
6
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
majorType
location
minorType
city
kind
space
length
1
string
kind
space
length
1
string
majorType
jobtitle
category
VB
string
continue
kind
word
orth
lowercase
length
8
kind
internal
category
IN
string
at
kind
word
orth
lowercase
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
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NN
string
motion
kind
word
orth
lowercase
length
6
category
DT
string
another
kind
word
orth
lowercase
length
7
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
DT
string
all
kind
word
orth
lowercase
length
3
category
JJS
string
least
kind
word
orth
lowercase
length
5
category
NNS
string
problems
kind
word
orth
lowercase
length
8
kind
space
length
1
string
rule
JobTitle1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
VBN
string
killed
kind
word
orth
lowercase
length
6
rule
Unknown
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
kind
PN
NMRule
Unknown
rule2
YearOnlyFinal
rule1
TempYear1
kind
date
category
TO
string
to
kind
word
orth
lowercase
length
2
category
NN
string
fine
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
category
NN
string
strength
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
IN
string
although
kind
word
orth
lowercase
length
8
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
eyes
kind
word
orth
lowercase
length
4
kind
external
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
RBR
string
more
kind
word
orth
lowercase
length
4
rule
mathematicianRule
category
NN
string
subject
kind
word
orth
lowercase
length
7
category
RB
string
usually
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
majorType
number
category
IN
string
in
kind
word
orth
lowercase
length
2
majorType
time_unit
category
NNP
string
von
kind
word
orth
lowercase
length
3
kind
internal
category
VBD
string
wondered
kind
word
orth
lowercase
length
8
category
JJ
string
important
kind
word
orth
lowercase
length
9
category
MD
string
would
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Pfaff
kind
word
orth
upperInitial
length
5
category
NNP
string
H?heren
kind
word
orth
upperInitial
length
7
category
JJ
string
next
kind
word
orth
lowercase
length
4
category
IN
string
of
kind
word
orth
lowercase
length
2
majorType
number
category
IN
string
of
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
at
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNP
string
Connor
kind
word
orth
upperInitial
length
6
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
category
IN
string
of
kind
word
orth
lowercase
length
2
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
DT
string
this
kind
word
orth
lowercase
length
4
category
VBP
string
include
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
soon
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
category
VBD
string
were
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
category
NNP
string
Weber
kind
word
orth
upperInitial
length
5
category
JJ
string
shrewd
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNS
string
honours
kind
word
orth
lowercase
length
7
voice
passive
tense
SimPas
type
FVG
category
VBZ
string
slips
kind
word
orth
lowercase
length
5
category
NNP
string
Zach
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
period
kind
word
orth
lowercase
length
6
rule
PersonFinal
rule1
GazPersonFirst
gender
female
category
,
string
,
kind
punctuation
length
1
kind
internal
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
ModifierDate
kind
date
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
.
string
.
kind
punctuation
length
1
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
category
NNP
string
Cantor
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
many
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
WP$
string
whose
kind
word
orth
lowercase
length
5
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
JJR
string
more
kind
word
orth
lowercase
length
4
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
internal
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
NN
string
differential
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
review
kind
word
orth
lowercase
length
6
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
Wolfenb?ttel
kind
word
orth
upperInitial
length
12
kind
space
length
1
string
category
IN
string
of
kind
word
orth
lowercase
length
2
category
POS
string
's
kind
word
orth
apostrophe
length
2
kind
internal
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
NNP
string
E
kind
word
orth
upperInitial
length
1
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Schumacher
kind
word
orth
upperInitial
length
10
category
IN
string
as
kind
word
orth
lowercase
length
2
rule
Unknown
kind
PN
category
DT
string
a
kind
word
orth
lowercase
length
1
category
CD
string
1836
kind
number
length
4
kind
space
length
1
string
category
RB
string
never
kind
word
orth
lowercase
length
5
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
kind
space
length
1
string
category
NNS
string
years
kind
word
orth
lowercase
length
5
kind
space
length
1
string
majorType
organization_noun
kind
space
length
1
string
category
NN
string
force
kind
word
orth
lowercase
length
5
voice
active
tense
SimPas
type
FVG
category
NNP
string
Bolyai
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
Latin
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
majorType
date
minorType
month
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
kind
space
length
1
string
category
NN
string
son
kind
word
orth
lowercase
length
3
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
control
length
1
string
kind
space
length
1
string
category
NN
string
professor
kind
word
orth
lowercase
length
9
gender
male
rule
FirstName
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
Piazzi
kind
word
orth
upperInitial
length
6
category
VBD
string
began
kind
word
orth
lowercase
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
voice
none
tense
Pas
type
PART
kind
internal
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
very
kind
word
orth
lowercase
length
4
category
VBD
string
had
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NNS
string
messages
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
CC
string
and
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
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
NN
string
device
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
kind
space
length
1
string
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
category
VBD
string
wrote
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
kind
space
length
1
string
kind
space
length
1
string
majorType
organization_noun
category
NNS
string
theories
kind
word
orth
lowercase
length
8
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NN
string
idea
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
observatory
kind
word
orth
lowercase
length
11
category
.
string
.
kind
punctuation
length
1
voice
active
tense
SimPas
type
FVG
category
VBN
string
Born
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
kind
control
length
1
string
category
NNP
string
Carolinum
kind
word
orth
upperInitial
length
9
kind
internal
majorType
organization
minorType
company
kind
space
length
1
string
kind
space
length
1
string
category
IN
string
until
kind
word
orth
lowercase
length
5
rule1
OrgXBase
rule2
OrgFinal
matches
229713;229634
kind
space
length
1
string
category
NNS
string
valores
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
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NNP
string
Abstossungskr?fte
kind
word
orth
upperInitial
length
17
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
category
,
string
,
kind
punctuation
length
1
category
NNS
string
squares
kind
word
orth
lowercase
length
7
kind
internal
kind
space
length
1
string
category
VBD
string
married
kind
word
orth
lowercase
length
7
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
IN
string
with
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
category
IN
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
CC
string
and
kind
word
orth
lowercase
length
3
category
VBN
string
known
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
believed
kind
word
orth
lowercase
length
8
category
DT
string
the
kind
word
orth
lowercase
length
3
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
category
NNP
string
Duke
kind
word
orth
upperInitial
length
4
voice
active
tense
SimPas
type
FVG
category
CD
string
1799
kind
number
length
4
kind
space
length
1
string
majorType
stop
kind
space
length
1
string
category
NN
string
opening
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
NN
string
advisor
kind
word
orth
lowercase
length
7
voice
passive
tense
SimPas
type
FVG
voice
active
tense
SimPas
type
FVG
category
NNP
string
Beziehung
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
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
NNS
string
points
kind
word
orth
lowercase
length
6
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
majorType
time_modifier
category
NNP
string
Humboldt
kind
word
orth
upperInitial
length
8
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJ
string
latter
kind
word
orth
lowercase
length
6
category
TO
string
to
kind
word
orth
lowercase
length
2
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
rule
mathematicianRule
matches
229448;229470
voice
passive
tense
Inf
type
NFVG
kind
space
length
1
string
category
(
string
(
kind
punctuation
position
startpunct
length
1
category
JJ
string
www-history
kind
word
orth
lowercase
length
11
category
,
string
,
kind
punctuation
length
1
category
NNS
string
poles
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
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
TO
string
to
kind
word
orth
lowercase
length
2
category
NNP
string
Dirichlet
kind
word
orth
upperInitial
length
9
voice
active
tense
SimPas
type
FVG
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
VBD
string
visited
kind
word
orth
lowercase
length
7
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
external
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
kind
control
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
VBZ
string
s
kind
word
orth
lowercase
length
1
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
DT
string
the
kind
word
orth
lowercase
length
3
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NN
string
field
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
JJ
string
terrestrial
kind
word
orth
lowercase
length
11
gender
male
rule
FirstName
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
IN
string
of
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
category
IN
string
in
kind
word
orth
lowercase
length
2
category
JJ
string
mental
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
NNP
string
Allgemeine
kind
word
orth
upperInitial
length
10
category
NN
string
/
kind
punctuation
length
1
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
VBD
string
were
kind
word
orth
lowercase
length
4
category
VB
string
praise
kind
word
orth
lowercase
length
6
category
IN
string
before
kind
word
orth
lowercase
length
6
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
majorType
organization_noun
category
DT
string
This
kind
word
orth
upperInitial
length
4
rule
JobTitle1
category
PRP$
string
my
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
NNP
string
Schumacher
kind
word
orth
upperInitial
length
10
category
CD
string
two
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
CD
string
1846
kind
number
length
4
category
IN
string
from
kind
word
orth
lowercase
length
4
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
majorType
location
minorType
city
kind
space
length
1
string
category
IN
string
At
kind
word
orth
upperInitial
length
2
category
NN
string
time
kind
word
orth
lowercase
length
4
category
PRP
string
He
kind
word
orth
upperInitial
length
2
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
kind
control
length
1
string
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
NN
string
fluidorum
kind
word
orth
lowercase
length
9
category
.
string
.
kind
punctuation
length
1
category
NNS
string
axioms
kind
word
orth
lowercase
length
6
category
VBD
string
offered
kind
word
orth
lowercase
length
7
kind
internal
category
MD
string
would
kind
word
orth
lowercase
length
5
kind
space
length
1
string
rule
Unknown
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
kind
PN
NMRule
Unknown
kind
external
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NN
string
unsatisfactory
kind
word
orth
lowercase
length
14
category
JJ
string
accurate
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
category
JJ
string
beautiful
kind
word
orth
lowercase
length
9
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
NN
string
astronomer
kind
word
orth
lowercase
length
10
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
rule
Unknown
kind
PN
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
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
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
kind
external
kind
space
length
1
string
category
IN
string
In
kind
word
orth
upperInitial
length
2
category
PRP
string
him
kind
word
orth
lowercase
length
3
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
VBG
string
asking
kind
word
orth
lowercase
length
6
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
,
string
,
kind
punctuation
length
1
category
CD
string
1807
kind
number
length
4
category
NN
string
year
kind
word
orth
lowercase
length
4
category
NNP
string
Disquisitiones
kind
word
orth
upperInitial
length
14
voice
none
tense
Pas
type
PART
category
NNS
string
bodies
kind
word
orth
lowercase
length
6
category
POS
string
's
kind
word
orth
apostrophe
length
2
category
NNS
string
laws
kind
word
orth
lowercase
length
4
category
WRB
string
where
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
rule
Unknown
kind
PN
category
NNP
string
Carl
kind
word
orth
upperInitial
length
4
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
category
DT
string
The
kind
word
orth
upperInitial
length
3
kind
space
length
1
string
majorType
date_unit
category
RB
string
down
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
category
NN
string
death
kind
word
orth
lowercase
length
5
category
)
string
)
kind
punctuation
position
endpunct
length
1
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
.
string
.
kind
punctuation
length
1
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NN
string
principle
kind
word
orth
lowercase
length
9
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
category
JJ
string
last
kind
word
orth
lowercase
length
4
kind
space
length
1
string
gender
female
rule
FirstName
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
CC
string
and
kind
word
orth
lowercase
length
3
category
JJ
string
personal
kind
word
orth
lowercase
length
8
category
IN
string
on
kind
word
orth
lowercase
length
2
kind
external
orgType
company
rule1
GazOrganization
rule2
OrgFinal
matches
229661;229639;229628
category
NNP
string
Germain
kind
word
orth
upperInitial
length
7
category
NNS
string
papers
kind
word
orth
lowercase
length
6
majorType
stop
rule2
OrgFinal
rule1
OrgXBase
category
NNP
string
Hanover
kind
word
orth
upperInitial
length
7
majorType
stop
voice
none
tense
Pas
type
PART
kind
space
length
1
string
majorType
date
minorType
day
kind
space
length
1
string
category
NN
string
theory
kind
word
orth
lowercase
length
6
category
PRP$
string
his
kind
word
orth
lowercase
length
3
category
PRP
string
he
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
?ber
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
corporum
kind
word
orth
lowercase
length
8
kind
internal
category
NN
string
son
kind
word
orth
lowercase
length
3
category
NNP
string
Brunswick
kind
word
orth
upperInitial
length
9
kind
space
length
1
string
category
NN
string
friendship
kind
word
orth
lowercase
length
10
majorType
currency_unit
minorType
post_amount
category
NN
string
determination
kind
word
orth
lowercase
length
13
kind
control
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
NNP
string
E
kind
word
orth
upperInitial
length
1
category
CD
string
1798
kind
number
length
4
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
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
JJ
string
sick
kind
word
orth
lowercase
length
4
category
RB
string
however
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
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
DT
string
those
kind
word
orth
lowercase
length
5
kind
space
length
1
string
kind
internal
category
VBG
string
using
kind
word
orth
lowercase
length
5
category
,
string
,
kind
punctuation
length
1
category
IN
string
that
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
rule2
DateOnlyFinal
rule1
DateName
kind
date
category
NNS
string
observations
kind
word
orth
lowercase
length
12
category
NNS
string
arms
kind
word
orth
lowercase
length
4
category
NNS
string
results
kind
word
orth
lowercase
length
7
category
VBN
string
made
kind
word
orth
lowercase
length
4
category
NN
string
differential
kind
word
orth
lowercase
length
12
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
JJ
string
last
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
kind
space
length
1
string
category
NNP
string
G?ttingen
kind
word
orth
upperInitial
length
9
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
IN
string
that
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
category
POS
string
's
kind
word
orth
apostrophe
length
2
voice
active
tense
SimPas
type
FVG
category
VBD
string
was
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
category
,
string
,
kind
punctuation
length
1
kind
internal
category
DT
string
a
kind
word
orth
lowercase
length
1
kind
space
length
1
string
category
IN
string
by
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
journal
kind
word
orth
lowercase
length
7
category
PRP$
string
her
kind
word
orth
lowercase
length
3
category
IN
string
Although
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
category
NN
string
stipend
kind
word
orth
lowercase
length
7
category
NNP
string
G?ttingen
kind
word
orth
upperInitial
length
9
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
rule
Unknown
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
kind
PN
NMRule
Unknown
voice
active
tense
SimPre
type
FVG
kind
space
length
1
string
category
VBZ
string
includes
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
majorType
date
minorType
ordinal
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
category
DT
string
a
kind
word
orth
lowercase
length
1
voice
active
tense
PasPer
type
FVG
kind
internal
kind
external
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
voice
active
tense
SimPas
type
FVG
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
category
WRB
string
when
kind
word
orth
lowercase
length
4
kind
space
length
1
string
rule
UrlPre
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
CC
string
but
kind
word
orth
lowercase
length
3
category
NNP
string
Mathematicians
kind
word
orth
upperInitial
length
14
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
NN
string
activity
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
majorType
date
minorType
month
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
were
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
kind
space
length
1
string
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
category
NN
string
law
kind
word
orth
lowercase
length
3
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
space
length
1
string
kind
space
length
1
string
category
RB
string
not
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
org_base
category
NNP
string
Gaussian
kind
word
orth
upperInitial
length
8
category
NNP
string
Eisenstein
kind
word
orth
upperInitial
length
10
category
IN
string
for
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
passive
tense
SimPas
type
FVG
category
JJ
string
political
kind
word
orth
lowercase
length
9
voice
active
tense
Pre
type
PART
kind
space
length
1
string
category
VB
string
stay
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
category
RB
string
immediately
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
JJ
string
second
kind
word
orth
lowercase
length
6
rule
mathematicianRule
matches
229431;229462
category
CC
string
and
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
CD
string
two
kind
word
orth
lowercase
length
3
kind
space
length
1
string
voice
none
tense
Pas
type
PART
kind
space
length
1
string
category
VBZ
string
seems
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
gender
female
rule1
GazPersonFirst
rule
PersonFinal
matches
229667;229659;229669
category
VBN
string
discovered
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
internal
rule
Unknown
kind
PN
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229448;229470
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
geometric
kind
word
orth
lowercase
length
9
category
NNP
string
University
kind
word
orth
upperInitial
length
10
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NN
string
construction
kind
word
orth
lowercase
length
12
category
POS
string
's
kind
word
orth
apostrophe
length
2
majorType
number
category
IN
string
in
kind
word
orth
lowercase
length
2
category
RB
string
early
kind
word
orth
lowercase
length
5
category
PRP
string
it
kind
word
orth
lowercase
length
2
rule
Unknown
matches
229723;229842;229847
kind
PN
NMRule
Unknown
kind
space
length
1
string
majorType
time_unit
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
majorType
jobtitle
kind
space
length
1
string
rule
mathematicianRule
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
this
kind
word
orth
lowercase
length
4
category
NN
string
figurae
kind
word
orth
lowercase
length
7
category
RB
string
exactly
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
rule
Unknown
kind
PN
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
control
length
1
string
category
NN
string
education
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VBN
string
published
kind
word
orth
lowercase
length
9
category
JJ
string
particular
kind
word
orth
lowercase
length
10
category
JJ
string
quadratic
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
NNP
string
Earth
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
category
RB
string
clearly
kind
word
orth
lowercase
length
7
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
category
VBD
string
was
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
JJ
string
financial
kind
word
orth
lowercase
length
9
category
NN
string
corporum
kind
word
orth
lowercase
length
8
kind
space
length
1
string
kind
space
length
1
string
category
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
DT
string
this
kind
word
orth
lowercase
length
4
category
VBD
string
requested
kind
word
orth
lowercase
length
9
kind
internal
category
NNS
string
proofs
kind
word
orth
lowercase
length
6
category
:
string
:
kind
punctuation
length
1
kind
space
length
1
string
category
DT
string
an
kind
word
orth
lowercase
length
2
voice
active
tense
PasCon
type
FVG
kind
space
length
1
string
category
VBD
string
wrote
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
IN
string
from
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
category
VBG
string
penetrating
kind
word
orth
lowercase
length
11
category
RB
string
slowly
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
category
NN
string
paper
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBD
string
lifted
kind
word
orth
lowercase
length
6
majorType
organization
minorType
company
kind
space
length
1
string
category
JJ
string
same
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
rule
Unknown
kind
PN
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
control
length
1
string
category
RB
string
now
kind
word
orth
lowercase
length
3
category
JJS
string
least
kind
word
orth
lowercase
length
5
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
NNP
string
Olbers
kind
word
orth
upperInitial
length
6
voice
passive
tense
SimPas
type
FVG
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
first
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
CC
string
and
kind
word
orth
lowercase
length
3
category
RB
string
peculiarly
kind
word
orth
lowercase
length
10
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1817
kind
number
length
4
category
PRP
string
it
kind
word
orth
lowercase
length
2
kind
space
length
1
string
kind
space
length
1
string
category
VBD
string
did
kind
word
orth
lowercase
length
3
majorType
location
minorType
city
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
IN
string
if
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NN
string
economy
kind
word
orth
lowercase
length
7
category
JJ
string
own
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
majorType
time
minorType
hour
rule2
DateOnlyFinal
rule1
YearContext1
kind
date
kind
space
length
1
string
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
PRP
string
He
kind
word
orth
upperInitial
length
2
kind
space
length
1
string
category
NNP
string
Friedrich
kind
word
orth
upperInitial
length
9
category
IN
string
in
kind
word
orth
lowercase
length
2
majorType
organization_noun
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
category
PRP
string
her
kind
word
orth
lowercase
length
3
kind
space
length
1
string
rule2
YearOnlyFinal
rule1
TempYear3
kind
date
category
RP
string
up
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
WDT
string
which
kind
word
orth
lowercase
length
5
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearSpan1
kind
date
kind
space
length
1
string
category
WRB
string
how
kind
word
orth
lowercase
length
3
category
NNS
string
results
kind
word
orth
lowercase
length
7
category
DT
string
that
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
control
length
1
string
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
category
JJR
string
less
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
category
NN
string
integration
kind
word
orth
lowercase
length
11
kind
internal
category
NN
string
grid
kind
word
orth
lowercase
length
4
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
CD
string
1792
kind
number
length
4
kind
internal
kind
space
length
1
string
category
VBD
string
requested
kind
word
orth
lowercase
length
9
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
internal
category
IN
string
after
kind
word
orth
lowercase
length
5
category
IN
string
in
kind
word
orth
lowercase
length
2
gender
female
rule
FirstName
kind
space
length
1
string
category
NN
string
homogeneorum
kind
word
orth
lowercase
length
12
kind
space
length
1
string
category
TO
string
to
kind
word
orth
lowercase
length
2
category
JJ
string
present
kind
word
orth
lowercase
length
7
category
IN
string
From
kind
word
orth
upperInitial
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NNS
string
rays
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
category
IN
string
by
kind
word
orth
lowercase
length
2
category
CC
string
and
kind
word
orth
lowercase
length
3
voice
passive
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
,
string
,
kind
punctuation
length
1
kind
internal
kind
space
length
1
string
voice
active
tense
Inf
type
NFVG
category
JJ
string
small
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
NNS
string
discoveries
kind
word
orth
lowercase
length
11
category
NN
string
charge
kind
word
orth
lowercase
length
6
kind
space
length
1
string
category
)
string
)
kind
punctuation
position
endpunct
length
1
category
NN
string
paper
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBG
string
looking
kind
word
orth
lowercase
length
7
kind
space
length
1
string
category
VB
string
mean
kind
word
orth
lowercase
length
4
category
IN
string
in
kind
word
orth
lowercase
length
2
category
TO
string
to
kind
word
orth
lowercase
length
2
category
IN
string
with
kind
word
orth
lowercase
length
4
category
.
string
.
kind
punctuation
length
1
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
category
NN
string
viewpoint
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
,
string
,
kind
punctuation
length
1
kind
space
length
1
string
category
IN
string
in
kind
word
orth
lowercase
length
2
voice
active
tense
SimPas
type
FVG
category
NN
string
theorema
kind
word
orth
lowercase
length
8
kind
space
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
PRP$
string
His
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
CC
string
and
kind
word
orth
lowercase
length
3
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
NN
string
mother
kind
word
orth
lowercase
length
6
rule
Unknown
kind
PN
category
PRP$
string
his
kind
word
orth
lowercase
length
3
gender
female
rule1
GazPersonFirst
rule
PersonFinal
matches
229646;229651
category
RB
string
rather
kind
word
orth
lowercase
length
6
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
kind
space
length
1
string
category
VBN
string
informed
kind
word
orth
lowercase
length
8
voice
active
tense
SimPas
type
FVG
category
NNP
string
Gegenst?nde
kind
word
orth
upperInitial
length
11
category
TO
string
to
kind
word
orth
lowercase
length
2
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
IN
string
over
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
RB
string
then
kind
word
orth
lowercase
length
4
category
PRP$
string
their
kind
word
orth
lowercase
length
5
kind
space
length
1
string
category
VBD
string
were
kind
word
orth
lowercase
length
4
category
NN
string
assistant
kind
word
orth
lowercase
length
9
category
NN
string
fortune
kind
word
orth
lowercase
length
7
rule2
OrgFinal
rule1
OrgXBase
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
voice
active
tense
SimPas
type
FVG
category
JJ
string
many
kind
word
orth
lowercase
length
4
category
IN
string
with
kind
word
orth
lowercase
length
4
rule
LocConjLoc2
matches
229832;229833;229834;229835;229840;229843;229844;229845;229846
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
NN
string
family
kind
word
orth
lowercase
length
6
kind
space
length
1
string
rule2
DateOnlyFinal
rule1
YearSpan3
kind
date
kind
space
length
1
string
kind
control
length
1
string
kind
space
length
1
string
category
NN
string
observatory
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
kind
control
length
1
string
category
IN
string
for
kind
word
orth
lowercase
length
3
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
rule
JobTitle1
majorType
time_modifier
category
VBD
string
proceeded
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
NN
string
globe
kind
word
orth
lowercase
length
5
category
TO
string
to
kind
word
orth
lowercase
length
2
kind
internal
category
DT
string
a
kind
word
orth
lowercase
length
1
category
NNP
string
F
kind
word
orth
upperInitial
length
1
majorType
organization
minorType
company
kind
space
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Weber
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
category
NNP
string
Olbers
kind
word
orth
upperInitial
length
6
kind
space
length
1
string
category
DT
string
the
kind
word
orth
lowercase
length
3
kind
space
length
1
string
category
NN
string
arithmetic-
kind
word
orth
lowercase
length
11
kind
space
length
1
string
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
kind
space
length
1
string
kind
space
length
1
string
voice
active
tense
SimPas
type
FVG
kind
space
length
1
string
rule
Unknown
kind
PN
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
space
length
1
string
kind
space
length
1
string
category
NN
string
number
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
kind
PN
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
kind
space
length
1
string
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
NNP
string
Gauss
kind
word
orth
upperInitial
length
5
category
JJ
string
statistical
kind
word
orth
lowercase
length
11
kind
space
length
1
string
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
terrestrial
kind
word
orth
lowercase
length
11
majorType
organization_noun
kind
space
length
1
string
kind
space
length
1
string
category
JJ
string
regular
kind
word
orth
lowercase
length
7
category
NN
string
fund
kind
word
orth
lowercase
length
4
kind
internal
category
VB
string
meet
kind
word
orth
lowercase
length
4
category
NN
string
wife
kind
word
orth
lowercase
length
4
kind
space
length
1
string
kind
space
length
1
string
category
CD
string
1840
kind
number
length
4
category
IN
string
on
kind
word
orth
lowercase
length
2
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
PRP
string
he
kind
word
orth
lowercase
length
2
kind
space
length
1
string
category
NN
string
law
kind
word
orth
lowercase
length
3
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
kind
space
length
1
string
category
NN
string
arrangement
kind
word
orth
lowercase
length
11
category
NNP
string
Euclidean
kind
word
orth
upperInitial
length
9
category
NNP
string
Dedekind
kind
word
orth
upperInitial
length
8
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
DT
string
this
kind
word
orth
lowercase
length
4
rule
Unknown
kind
PN
kind
space
length
1
string
category
NN
string
dispute
kind
word
orth
lowercase
length
7
kind
space
length
1
string
voice
active
tense
PasPer
type
FVG
kind
space
length
1
string
category
IN
string
With
kind
word
orth
upperInitial
length
4
category
:
string
-
kind
punctuation
subkind
dashpunct
length
1
category
NNP
string
Ceres
kind
word
orth
upperInitial
length
5
voice
active
tense
SimPas
type
FVG
majorType
person_first
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
male
class
Person
kind
space
length
1
string
category
NN
string
reputation
kind
word
orth
lowercase
length
10
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
RB
string
also
kind
word
orth
lowercase
length
4
voice
active
tense
SimPas
type
FVG
majorType
mathematician
ontology
http://www.tjhsst.edu/~mlee1/knowledge/thing.daml
minorType
short
class
Mathematician
category
JJ
string
main
kind
word
orth
lowercase
length
4
kind
space
length
1
string
category
NN
string
physics
kind
word
orth
lowercase
length
7
category
CC
string
and
kind
word
orth
lowercase
length
3
kind
control
length
1
string
majorType
organization_noun
kind
space
length
1
string
category
.
string
.
kind
punctuation
length
1
category
VBD
string
showed
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
NN
string
theory
kind
word
orth
lowercase
length
6
kind
internal
kind
space
length
1
string
category
RB
string
regularly
kind
word
orth
lowercase
length
9
kind
space
length
1
string
category
VBD
string
contained
kind
word
orth
lowercase
length
9
kind
control
length
1
string
kind
space
length
1
string
rule
mathematicianRule
matches
229453;229393;229438;229381;229420;229382;229419;229432;229396;229384;229425;229456;229413;229394;229399;229414;229383;229411;229412;229406;229401;229445;229474;229468;229446;229440;229402;229374;229460;229433;229405;229408;229407;229380;229398;229409;229410;229435;229379;229434;229416;229397;229441;229472;229442;229436;229378;229471;229400;229415;229417;229475;229389;229388;229430;229452;229457;229451;229387;229395;229390;229428;229421;229449;229391;229463;229464;229422
category
DT
string
the
kind
word
orth
lowercase
length
3
majorType
surname
minorType
prefix
kind
space
length
1
string
category
CD
string
1802
kind
number
length
4
kind
space
length
1
string
category
NN
string
reciprocity
kind
word
orth
lowercase
length
11
category
MD
string
would
kind
word
orth
lowercase
length
5
rule
Unknown
kind
PN
voice
active
tense
Pre
type
PART
category
.
string
.
kind
punctuation
length
1
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
internal
category