has quantifiable component type (is quantifiable component type of) – P31

This property does not yet have the minimum number of validated parts required for publication.

P31 has quantifiable component type (is quantifiable component type of)

Quantification:

0,n:0,1

Scope note:

This property associates a quantifiable component with the type that defines its identity.

Examples:

No example yet.

In First Order Logic:

  • P31(x,y) ⇒ C16(x)
  • P31(x,y) ⇒ C17(y)

Scope notes

Examples

Additional notes

Identifier: P31

Official URI: https://ontome.net/ns/intellectual-literary-life/P31
OntoME URI: https://ontome.net/ontology/p2315

Domain and range

sdh-int:C16 Quantifiable Component → P31 has quantifiable component type (is quantifiable component type of) → sdh-int:C17 Quantifiable Component Type  (Quantifiers 0,n:0,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments