has component (is component of)

has component (is component of) – P148

P148 has component (is component of)

Domain:

E89 Propositional Object

Range:

E89 Propositional Object

Superproperty of:

F2 Expression → R5 has component (is component of) → F22 Self-Contained Expression
F15 Complex Work → R10 has member (is member of) → F1 Work
F35 Nomen Use Statement → R35 specified by (specifies) → F34 KOS

Quantification:

0,n:0,n

Scope note:

This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.

Examples:

No example yet.

In First Order Logic:

P148(x,y) ⊃ E89(x)
P148(x,y) ⊃ E89(y)

Scope Notes

Show	Scope note	Language	Namespace	View details	Comments
	This property associates an instance of E89 Propositional Object with a structural part of it that is by itself an instance of E89 Propositional Object.	en	WIP		0

Examples

Show	Example	Language	Namespace	View details	Comments

Additional notes

Show	Notes	Language	Namespace	View details	Comments

Identifier : P148

Domain and range

E89 Propositional Object → P148 has component (is component of) → E89 Propositional Object (Quantifiers 0,n:0,n)

Labels

Label	Language	Last updated
hat Bestandteil *	de	2018-09-14
has component (is component of) *	en	2020-08-26
有组件 *	zh	2018-09-14

: Standard label for this language

Namespace

Namespace	Last updated
CIDOC CRM version 6.2	2020-08-26

Parent properties

Domain		Property		Range	Justification	Relation namespace	View details	Comments

Ancestor properties

Domain		Property		Range	Depth	Property namespace

Child and descendant properties

Domain		Property		Range	Depth	Property namespace
Expression – F2	(0,n)	R5 has component (is component of)	(0,n)	Self-Contained Expression – F22	1	FRBRoo version 2.4
Complex Work – F15	(0,n)	R10 has member (is member of)	(2,n)	Work – F1	1	FRBRoo version 2.4
Nomen Use Statement – F35	(1,n)	R35 specified by (specifies)	(1,1)	KOS – F34	1	FRBRoo version 2.4