Independent property definition Application Object

An Independent_property_definition is an Independent_property that is a magnitude or value of a property.

An Independent_property_definition is a Class_of_physical_individual and that has as its criterion for membership the magnitude or nature of a property. A Physical_individual possesses a Independent_property_definition if it meets the criterion for membership of the class.

An Independent_property_definition is one of the following:

• a class that can have the whole life of a Physical_individual as a member;

  EXAMPLE - 'Lifetime of 50 years' is an Independent_property_definition.

• a class that can have an Activity performed by a Physical_individual, as a member;

  EXAMPLE - '100 tonnes of water pumped' is an Independent_property_definition.

• a class that can have a State of a Physical_individual, as a member.

  EXAMPLE - '10 tonnes' is an Independent_property_definition.

EXPRESS specification:

*)
ENTITY Independent_property_definition
  SUPERTYPE OF (ONEOF (
  Point_property_definition,
  Range_property_definition))
  SUBTYPE OF (
  Class_of_physical_individual
  Independent_property);
  symmetry  :  OPTIONAL Property_symmetry;
END_ENTITY;
(*

Attribute definitions:

symmetry : the Property_symmetry that is possessed by the Independent_property_definition.

EXAMPLE - 'Isotropic' is a Property_symmetry.