SCHEMA Possession_of_property_arm;
  
USE FROM Engineering_analysis_basics_arm -- Engineering_analysis_basics
  (Class_of_physical_individual,
  Specialisation_of_class);
USE FROM Independent_property_definition_arm -- Independent_property_definition
  (Independent_property_definition);
  
ENTITY Possession_of_property
  SUBTYPE OF (Specialisation_of_class);
  subclass  :  Class_of_physical_individual;
  superclass  :  Independent_property_definition;
END_ENTITY;
  
END_SCHEMA;

Page last updated - 7 Sep 2000