kind_of_functional_object

Kind of Functional Object

A class_of_functional_object, that is also a kind_of_physical_object, and a kind_of_intentionally_constructed_object where each member_of a kind_of_functional_object is of the same kind.

Attributes

intended_role_by_class: A relationship type where each member_of a kind_of_functional_object is intended to play one or more role(s).

Subtypes

kind_of_ordinary_functional_object

EXPRESS Specification

Diagram 9

Schema

ENTITY kind_of_functional_object
  SUBTYPE OF(class_of_functional_object, kind_of_physical_object, kind_of_intentionally_constructed_object);
    intended_role_by_class : SET [1:?] OF role;
END_ENTITY;

Inheritance Graph

ENTITY kind_of_functional_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_intentionally_constructed_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_state_of_functional_object;
  ENTITY class_of_functional_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_physical_object;
  ENTITY class_of_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY kind_of_individual;
  ENTITY kind_of_physical_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_state_of_intentionally_constructed_object;
  ENTITY class_of_intentionally_constructed_object;
  ENTITY thing;
    member__of             : OPTIONAL SET [1:?] OF class;
  ENTITY abstract_object;
  ENTITY class;
    member_of              : OPTIONAL SET [1:?] OF class_of_class;
    has_superclass         : OPTIONAL SET [1:?] OF class;
  ENTITY class_of_spatio_temporal_extent;
    member_of_             : OPTIONAL SET [1:?] OF class_of_class_of_spatio_temporal_extent;
    part__of_by_class      : OPTIONAL SET [1:?] OF class_of_spatio_temporal_extent;
  INVERSE
    consists__of_by_class  : SET [1:?] OF class_of_spatio_temporal_extent FOR part__of_by_class;
  ENTITY class_of_state;
  ENTITY class_of_individual;
  ENTITY kind_of_individual;
  ENTITY kind_of_intentionally_constructed_object;
  ENTITY kind_of_functional_object;
    intended_role_by_class : SET [1:?] OF role;
END_ENTITY;

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

kind_of_functional_object

Kind of Functional Object

Attributes

Subtypes

EXPRESS Specification

Schema

Clone this wiki locally