Unsharpened Factoids
Logical form
[〈det person.n〉 have.v 〈det (plur file.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det (plur file.n)〉 attached.a]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det file.n〉 between.p 〈det pc.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 download.v 〈det file.n〉]
Learned by reading
See source sentences for this factoid.
A file can be with instructions.
Logical form
[〈det file.n〉 with.p 〈det instruction.n〉]
Learned by reading
See source sentences for this factoid.
A directory can be for (torrent files).
Logical form
[〈a{n} directory.n〉 for.p (k (nn torrent.n (plur file.n)))]
Learned by reading
See source sentences for this factoid.
A downloader may be extracted from a file.
Logical form
[〈the downloader.n〉 (be.pasv extract.v) (:p from.p 〈the file.n〉)]
Learned by reading
See source sentences for this factoid.
A file may be compressed with blizzards.
Logical form
[〈the file.n〉 (be.pasv compress.v) (:p with.p (k (plur blizzard.n)))]
Learned by reading
See source sentences for this factoid.
A person may have a (credit file).
Logical form
[〈det person.n〉 have.v 〈det (nn credit.n file.n)〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 find.v 〈det file.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 open.v 〈det file.n〉]
Learned by reading
See source sentences for this factoid.
Logical form
[〈det person.n〉 get.v 〈det file.n〉]
Learned by reading
See source sentences for this factoid.
Sharpened Factoids
Logical form
(many x: [x file.n]
(some e: [[x | e] enduring]
[[x attached.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
All or most persons occasionally download a file.
Logical form
(all-or-most x: [x person.n]
(occasional e
(some y: [y file.n]
[[x download.v y] ** e])))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some files are infected.
Logical form
(many-or-some x: [x file.n]
(some e: [[x | e] enduring]
[[x infected.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.
Many or some files are executable.
Logical form
(many-or-some x: [x file.n]
(some e: [[x | e] enduring]
[[x executable.a] ** e]))Sharpened from
Click on a source factoid to see the original English sentences it was learned from.