has propositional object type (is type of) – P32

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

P32 has propositional object type (is type of)

Domain:

crm:E89 Propositional Object

Range:

crm-sup:C35 Propositional Object Type

Quantification:

0,n:0,1

Scope note:

Associates a propositional object with a type which expresses its essential classification.

Examples:

No example yet.

In First Order Logic:

  • P32(x,y) ⇒ E89(x)
  • P32(x,y) ⇒ C35(y)

Scope notes

Examples

Additional notes

Identifier: P32

Official URI: https://sdhss.org/ontology/crm-supplement/P32
OntoME URI: https://ontome.net/ontology/p2934

Domain and range

crm:E89 Propositional Object → P32 has propositional object type (is type of) → crm-sup:C35 Propositional Object 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