- Source end
- 1 - *
- Target end
- 0 - *
- Binary properties
«ComponentOf» is a parthood relation between two complexes. Examples include:
- my hand is part of my arm;
- a car engine is part of a car;
- an Arithmetic and Logic Unit (ALU) is part of a Central Process Unit (CPU);
- a heart is part of a circulatory system.
Transitivity holds for certain cases but not for others, it depends on context. «ComponentOf» relation obeys weak supplementation principle (at least 2 parts are required, may be of different types).
C1: The classes connected to both association ends of this relation must represent universals whose instances are functional complexes.
Ask us some question if something is not clear …