has step type (is step type of) – P12

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

P12 has step type (is step type of)

Domain:

sdh-int:C5 Step

Range:

sdh-int:C8 Step Type

Quantification:

0,n:1,1

Subproperty of:

Scope note:

Associates a step (an action) with the type which defines its identity, usually in the form of a verb

Examples:

No example yet.

In First Order Logic:

  • P12(x,y) ⇒ C5(x)
  • P12(x,y) ⇒ C8(y)
  • P12(x,y) ⇒ P2(x,y)

Scope notes

Examples

Additional notes

Identifier: P12

Official URI: https://ontome.net/ns/intellectual-literary-life/P12
OntoME URI: https://ontome.net/ontology/p1650

Domain and range

sdh-int:C5 Step → P12 has step type (is step type of) → sdh-int:C8 Step Type  (Quantifiers 0,n:1,1)

Labels

: Standard label for this language

Namespace

Parent properties

Ancestor properties

Child and descendant properties

Related properties

Profiles using this property

Comments