girzu
gir, gri
'group'
x1 is group/cluster/team showing common property (ka) x2 due to set x3 linked by relations x4
* also collection, team, comprised of, comprising; members x3 (a specification of the complete membership) comprise group x1
* cluster (= kangri)
(cf. bende, ciste, cmima, gunma, panra, cabra, cecmu, kansa, klesi, lanzu, liste, vrici)
This is yesterdays word ;)
2 comments:
I don't really understand this one. What could go under x2, x3 and x4? Could I have some examples?
Thanks!
I think this resembles the axioms of separation from ZF set theory. x1 is the identifier for the group, which is a part/subset of a group x3. In order to select the group members you use a restriction x2. the remaining x4 gives a reason why they form a group.
Taking the "one-eyed-young men association for animal rights ", x3 could be all humans and the common property would be "one-eyed, young, male", whereas the property shrinks to "one eyed" of you use "young men" as x2.
Hope that helps, maybe someone else can give a good example. Maybe there's an example within the search range of lojban google.
Post a Comment