Passable Relations

version 1 by Ron Newcomb

  • Home page
  • Beginning
  • Previous
  • Next



  • Volume - Extension Passable Relations

    Chapter 1 - Most useful phrases

    To decide whether (R - an abstract-relation) holds between (X - an object) and (Y - an object): (- Relation_Test({X}, {R}, {Y}) -).

    To decide whether (R - an abstract-relation) holds between (X - an object) and (Y - an object) or vice-versa: (- SymRelation_Test({X}, {R}, {Y}) -).

    To decide whether (R - an abstract-relation) does/-- not hold/holds between (X - an object) and (Y - an object): (- (~~(Relation_Test({X}, {R}, {Y}))) -).

    To decide whether (R - an abstract-relation) does/-- not hold/holds between (X - an object) and (Y - an object) or vice-versa: (- (~~(SymRelation_Test({X}, {R}, {Y}))) -).

    [To now/ensure (R - an abstract-relation) holds between (X - an object) and (Y - an object): (- Relation_SetTrue({X}, {R}, {Y}); -).

    To now/ensure (R - an abstract-relation) does/do/-- not/doesn't/don't hold/holds between (X - an object) and (Y - an object): (- Relation_SetFalse({X}, {R}, {Y}); -).
    ]