Trinity Inventory

version 4/080708 by Mikael Segercrantz

  • Home page
  • Beginning
  • Previous
  • Next

  • Chapter: Definitions

    Note the extension provides one relation and two adjectives: "empty" and "non-empty" describe containers and supporters appropriately, and other things will be declared non-empty if and only if they have no component parts. (But a supporter with component parts may be empty if there is nothing on it). The relation is called "encasement" and describes direct enclosure. (That is, containment, carrying, wearing, or incorporation).