SCHEMA Engineering_analysis_basics_arm;

  
ENTITY Application_object
  ABSTRACT SUBTYPE OF (ONEOF (
  Class,
  Physical_individual));
END_ENTITY;

  
ENTITY Class
  ABSTRACT SUPERTYPE;
END_ENTITY;

  
ENTITY Classification
  ABSTRACT SUPERTYPE;
  class  :  Class;
  member  :  Application_object;
END_ENTITY;

  
ENTITY Class_of_physical_individual
  ABSTRACT SUPERTYPE OF (ONEOF (
  Activity,
  Product_specification_or_set,
  Independent_property_definition,
  State))
  SUBTYPE OF (Class);
END_ENTITY;

  
ENTITY Components_of_physical_space
  ABSTRACT SUPERTYPE;
  components  :  LIST[2,?] OF Physical_space;
  whole  :  Physical_space;
END_ENTITY;

  
ENTITY Fusion
  ABSTRACT SUPERTYPE;
  class  :  Class;
  whole  :  Application_object;
END_ENTITY;

  
ENTITY Mapping
  ABSTRACT SUPERTYPE OF
    (Maths_function)
  SUBTYPE OF (Class);
END_ENTITY;

  
ENTITY Physical_individual
  ABSTRACT SUPERTYPE
  SUBTYPE OF (Application_object);
END_ENTITY;

  
ENTITY Physical_space
  SUBTYPE OF (Class);
  dimension  :  OPTIONAL INTEGER;
END_ENTITY;

  
ENTITY Specialisation_of_class
  ABSTRACT SUPERTYPE;
  subclass  :  Class;
  superclass  :  Class;
END_ENTITY;

  
END_SCHEMA;

Page last updated - 7 Sep 2000