Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
A course can be constituted-of-or-filled-with action.
Logical form
[〈det course.n〉 constituted-of-or-filled-with.a (k action.n)]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 take.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det career.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det life.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det year.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det day.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det week.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det season.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det game.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det war.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det century.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det series.n〉 have.v 〈det course.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Many series have a course as a part.
Logical form
(many x: [x series.n]
(some e: [[x | e] enduring]
(some y: [y course.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many courses have an end as a part.
Logical form
(many x: [x course.n]
(some e: [[x | e] enduring]
(some y: [y end.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many courses have a part as a part.
Logical form
(many x: [x course.n]
(some e: [[x | e] enduring]
(some y: [y part.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many works have a course as a part.
Logical form
(many x: [x work.n]
(some e: [[x | e] enduring]
(some y: [y course.n]
[[x have-as-part.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally complete a course.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y course.n]
[[x complete.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.