History: BPFK Section: Numeric selbri

Preview of version: 3

Proposed definitions

me (ME)
Converts a sumti into a tanru-unit with place structure "x1 is/are among the referents of the sumti".
me'u (MEhU)
Terminator for ME.
moi (MOI)
Converts a number, lerfu-string or ME-converted sumti into a tanru-unit. The place structure in the case of a number is "x1 is/are the numberth among x2 by rule x3". More generally, for any sumti the place structure is "x1 is/are the one(s) among x2 that correspond(s) to number/lerfu/sumti by rule x3".
mei (MOI)
Converts a number, lerfu-string or ME-converted sumti into a tanru-unit. The place structure in the case of a number is "x1 are number in number among x2". In general for any sumti the place structure is "x1 is/are among x2, quantified by number/lerfu/sumti".
si'e (MOI)
Converts a number, lerfu-string or ME-converted sumti into a tanru-unit with place structure "x1 is a part/fraction of x2, quantified by number/lerfu/sumti".
cu'o (MOI)
Converts a number, lerfu-string or ME-converted sumti into a tanru-unit with place structure "x1 has an expectation/probability number/lerfu/sumti under conditions x2".
va'e (MOI)
Converts a number, lerfu-string or ME-converted sumti into a tanru-unit with place structure "x1 has value number/lerfu/sumti on scale x3".

Formal definitions

MOI
x1 number moi x2 x3 x1 me x2 gi'e lidne da'a number me x2 x3
x1 number mei x2 x1 me x2 gi'e klani li number lo se gradu be x2
x1 number si'e x2 x1 pagbu x2 gi'e klani li number lo se gradu be x2
x1 number cu'o x2 x1 se pacna zi'o li number va'o x2
x1 number va'e x2 x1 se merli zi'o li number x2

Notes

  1. The definition of me corresponds to the basic relation Among as formalized in http://philosophy.syr.edu/mckay.html, which also agrees with the definition as given in CLL.
  2. The interpretation proposed for a ME-converted sumti with moi is an extension of the definition for n-moi as n-th.
  3. The second argument of mei is changed with respect to CLL, to make it more useful and more in line with the rest of the system.


History

Advanced
Information Version
Tue 09 of Sep, 2014 12:12 GMT Ilmen from 95.210.209.219 Adding colons after "cmavo" in the box titles. 22
Tue 26 of Aug, 2014 00:17 GMT guskant from 218.33.186.112 21
Mon 25 of Aug, 2014 12:40 GMT Ilmen from 95.210.209.219 Adding a word link. 20
Mon 25 of Aug, 2014 12:39 GMT Ilmen from 95.210.209.219 Adding word links. 19
Mon 25 of Aug, 2014 09:45 GMT selpa'i from 93.220.98.125 Adding poll 18
Tue 19 of Aug, 2014 22:49 GMT Ilmen from 95.210.209.219 Adding "and are" in the part "x1 are [number] in number _ among x2". This way things are clearer. 17
Sun 08 of Jun, 2014 19:30 GMT mukti from 216.194.27.154 16
Thu 29 of May, 2014 16:53 GMT Ilmen from 37.252.207.158 Example added 15
Fri 23 of May, 2014 13:07 GMT Ilmen from 128.140.129.232 Box formatting 14
Mon 23 of Sep, 2013 13:01 GMT guskant from 218.33.186.70 fix a dead link 13
Sun 28 of Aug, 2011 19:16 GMT klaki from 2.106.174.253 12
Tue 23 of Aug, 2011 18:20 GMT klaki from 2.106.174.253 Moi (issues): Suggested moi3 to be a {ka} 11
Sat 11 of Jun, 2011 04:13 GMT rlpowell from 173.13.139.234 10
Wed 29 of Dec, 2010 07:46 GMT lindarthebard from 32.175.23.84 9
Wed 08 of Sep, 2010 08:06 GMT eyeonus from 69.92.254.55 8
Sat 17 of Apr, 2010 23:13 GMT xorxes from 201.253.86.169 7
Fri 16 of Apr, 2010 00:42 GMT xorxes from 201.253.86.169 6
Tue 10 of Aug, 2004 23:44 GMT xorxes from 200.43.213.83 5
Fri 06 of Aug, 2004 22:46 GMT xorxes from 200.43.213.154 3
Fri 30 of Jul, 2004 22:52 GMT xorxes from 200.43.213.132 2
Fri 30 of Jul, 2004 20:46 GMT xorxes from 200.49.74.2 1