has built – P7

P7 has built

Range:

Quantification:

1,1:1,n

Scope note:

This property identifies the C2 Ship that came into existence as a result of an C12 Shipbuilding.

Examples:

No example yet.

In First Order Logic:

  • P7(x,y) ⊃ C12(x)
  • P7(x,y) ⊃ C2(y)
  • P7(x,y) ⊃ P108(x,y)

Scope Notes

Show Scope note Language Namespace View details Comments
This property identifies the C2 Ship that came into existence as a result of an C12 Shipbuilding. en WIP 0

Examples

Show Example Language Namespace View details Comments

Additional notes

Show Notes Language Namespace View details Comments

Identifier : P7

Domain and range

C12 Shipbuilding → P7 has built → C2 Ship  (Quantifiers 1,1:1,n)

Labels

Label Language Last updated View details Comments
has built * en 2019-06-06 0

: Standard label for this language

Namespace

Namespace Last updated
Maritime history ongoing 2019-12-04

Parent properties

Domain Property Range Justification Relation namespace View details Comments
Production – E12 P108 has produced Physical Man-Made Thing – E24 Maritime history ongoing 0

Ancestor properties

Domain Property Range Depth Property namespace
Event – E5 P12 occurred in the presence of Persistent Item – E77 3 CIDOC CRM version 6.2
Event – E5 P12 occurred in the presence of Persistent Item – E77 3 CIDOC CRM version 6.2
Modification – E11 P31 has modified Physical Man-Made Thing – E24 2 CIDOC CRM version 6.2
Beginning of Existence – E63 P92 brought into existence Persistent Item – E77 2 CIDOC CRM version 6.2
Physical Genesis – S17 O17 generated (was generated by) Physical Thing – E18 2 CRMsci version 1.2.3
Alteration – S18 O18 altered (was altered by) Physical Thing – E18 3 CRMsci version 1.2.3

Childs and descendant properties

Domain Property Range Depth Property namespace

Related properties

Relation Property Justification Relation namespace View details Comments

Profiles using this class

Label Start date End date Last updated
Maritime history 2020-03-31

Comments