has argument method – histP23

histP23 has argument method

Quantification:

No quantifiers yet.

Scope note:

Associates an Argument – histC15 with the method (in the sense of a type) which was used to produce this argument.

Examples:

No example yet.

In First Order Logic:

  • histP23(x,y) ⊃ histC15(x)
  • histP23(x,y) ⊃ histC22(y)
  • histP23(x,y) ⊃ P32(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
Associates an Argument – histC15 with the method (in the sense of a type) which was used to produce this argument. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Domain and range

histC15 Argument → histP23 has argument method → histC22 Argument's method

Labels

Label Language Last updated View details Comments
has argument method * en 2018-12-14 0

: Standard label for this language

Namespace

Namespace Last updated
Data for History ontology, v.0.1 ongoing 2019-05-14

Parent properties

Property identifier Justification Root namespace View association
P32 used general technique CIDOC CRM

Ancestor properties

Property identifier Depth Root namespace
P125 used object of type 2 CIDOC CRM
topObjectProperty 3 The OWL 2 Schema vocabulary

Childs and descendant properties

Property identifier Depth Root namespace

Equivalent properties

Profiles using this class

Label Start date End date Last updated
geoVistory Technical Profile 2019-06-25

Comments