% An ontology of sorts and their inclusion relations
% for our library

% Some "abstract sorts"
sorts
  Domain;
  Range;

% A Thing may be supported by another Thing or
% by a Supporter of a different sort, such as Ground
sorts
  Thing;
  Supporter;

inclusions
  Thing << Supporter;

% A Region is a (potentially) larger kind of Place.  
% It may contain one or more Places or other Regions.
sorts
  Place;
  Region;

inclusions
  Place << Region;


% Added for module CARRIER:
sorts
  Carrier;
  Person;
  Vehicle;

inclusions
  Carrier << Thing;
  Person << Carrier;
  Vehicle << Carrier;


% Added for module TRANSFER
sorts
  Resource;
  Accumulator;

inclusions
  Accumulator << Thing;


% Added for module BUY
sorts
   Commodity;
   Buyer;
   Seller;


inclusions
   Commodity << Resource;
   Buyer << Accumulator;
   Seller << Accumulator;
