Negation

[kornai]

The same skewed relation we see with binaries is seen in `lack' stuff, now formulated as NOTHAS (44 instances). We have NOTIN (9) NOTAT (26) but we have a few I don't understand, such as NOTCOP (11) and NOTPRED (4), what are these? There seem to be some that occur even fewer times, such as NOTINSTRUMENT (1 instance), NOTPARTOF (2), and one that probably is a grep accident:

feature vona1s differentia cecha 3017 u N ' NOTICE, important, typical, CAUSE[recognize]

[kornai]

rubber gumi gummis guma 914 u N material, flexible, CAUSE[mark NOTAT surface]

This is a bug, probably the definition of eraser 'radír' not rubber 'gumi'. Am I using the right version
of 4lang git/machine/4lang/4lang ??

[recski]

On Apr 2, 2016 1:49 AM, "Andras Kornai" notifications@github.com wrote:

rubber gumi gummis guma 914 u N material, flexible, CAUSE[mark NOTAT
surface]

This is a bug, probably the definition of eraser radír' not rubbergumi'.
Am I using the right version
of 4lang git/machine/4lang/4lang ??

The machine repo is obsolete, the current version of 4lang is under
git/4lang/4lang

—
You are receiving this because you are subscribed to this thread.
Reply to this email directly or view it on GitHub

[kornai]

I'm not sure how to transfer the issue to the correct repo, but the 4lang files in the two are identical.

[recski]

That's weird. I can't check it out right now, but @makrai any idea how this
is possible?
On Apr 2, 2016 9:10 AM, "Andras Kornai" notifications@github.com wrote:

I'm not sure how to transfer the issue to the correct repo, but the 4lang
files in the two are identical.

—
You are receiving this because you commented.
Reply to this email directly or view it on GitHub
#74 (comment)

[makrai]

Counts: András, I'm afraid you also included comments. Considering only definitions (in the 4lang repo)

 40 NOTHAS
 24 NOTAT
 11 NOTIN
  2 NOTPART
  2 NOTCAUSE

rubber gumi...
When I wrote definitions, the method was to define (English) words in the sense they are used in Longman definitions. I agree that there is something to clean up here, but I don't think it is related to negation.

two repos: I see difference in 420 lines, which is still few, but better than nothing.

Last, turning to the point: these work-arounds like NOTHAS were introduced when there were only two partitions. Now we have the formal tools to negate binary relations, e.g. radír: ... AT -0-> not ..., and we can extend the use of lack to the lack of possessions (poor <-1- HAS -2-> money -0-> lack)