Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det goal.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 have.v 〈det goal.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det female.n〉 have.v 〈det (plur goal.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det male.n〉 score.v 〈det (plur goal.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 set.v 〈det goal.n〉]
Learned by reading
See source sentences for this factoid.
A person may have a (goal weight).
Logical form
[〈det person.n〉 have.v 〈det (nn goal.n weight.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 reach.v 〈det goal.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det goal.n〉 from.p 〈det male.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur goal.n)〉 in.p (k medicine.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 achieve.v 〈det goal.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 achieve.v 〈det (plur goal.n)〉]
Learned by reading
See source sentences for this factoid.
A male may have a (field goal).
Logical form
[〈det male.n〉 have.v 〈det (nn field.n goal.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur goal.n)〉 personal.a]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x goal.n]
(some e: [[x | e] enduring]
[[x personal.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Logical form
(many x: [x goal.n]
(some y: [y male.n]
(some e: [[x | e] enduring]
[[x created-by.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.