Cidoc conceptual Reference Model
P8 took place on or within (witnessed)
Download 2.39 Mb.
|
- Navigate this page:
- P9 consists of (forms part of)
- P10 falls within (contains)
- P25 moved (moved by)
- P26 moved to (was destination of)
P8 took place on or within (witnessed)In 33rd CRM-SIG meeting the group discussed about shortcut formalization in first order logic(issue 276), and changed the scope note From: This property describes the location of an instance of E4 Period with respect to an E19 Physical Object. P8 took place on or within (witnessed) is a short-cut of a path defining a E53 Place with respect to the geometry of an object. cf. E46 Section Definition. This property is in effect a special case of P7 took place at. It describes a period that can be located with respect to the space defined by an E19 Physical Object such as a ship or a building. The precise geographical location of the object during the period in question may be unknown or unimportant. For example, the French and German armistice of 22 June 1940 was signed in the same railway carriage as the armistice of 11 November 1918. To: This property describes the location of an instance of E4 Period with respect to an E19 Physical Object. P8 took place on or within (witnessed) is a shortcut of the more fully developed path from E4 Period through P7 took place at, E53 Place, P156 occupies (is occupied by) to E18 Physical Thing.
For example, the French and German armistice of 22 June 1940 was signed in the same railway carriage as the armistice of 11 November 1918. P9 consists of (forms part of)In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed the scope note and updated the subproperty notation From Domain: E4 Period Range: E4 Period Subproperty of: E4 Period. P10i contains: E4 Period Quantification: one to many, (0,n:0,1) Scope note: This property associates an instance of E4 Period with another instance of E4 Period that falls within the spacetime volumes occupied by the former and which is defined by phenomena that form part of or are refinements of the phenomena that define the former. Examples:
In First Order Logic: P9(x,y) ⊃ E4(x) P9(x,y) ⊃ E4(y) P9(x,y) ⊃ P10(y,x) To Domain: E4 Period Range: E4 Period Subproperty of: E92 Spacetime Volume. P10i contains: E92 Spacetime Volume Quantification: one to many, (0,n:0,1) Scope note: This property associates an instance of E4 Period with another instance of E4 Period that is defined by a subset of the phenomena that define the former. Therefore the spacetime volume of the latter must fall within the spacetime volume of the former. P10 falls within (contains)In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed the domain, range, scope note and In First Order Logic representation. From: Domain: E4 Period Range: E4 Period Quantification: many to many (0,n:0,n) Scope note: This property associates an instance of E4 Period with another instance of E4 Period that falls within the spacetime volumes occupied by the latter. The difference with P9 consists of (forms part of) is subtle. Unlike P9 consists of (forms part of), P10 falls within (contains) does not imply any logical connection between the two periods and it may refer to a period of a completely different nature. Examples:
In First Order Logic: P10(x,y) ⊃ E4(x) P10(x,y) ⊃ E4(y)
Domain: E92 Spacetime Volume Range: E92 Spacetime Volume
In First Order Logic: P10(x,y) ⊃ E92(x) P10(x,y) ⊃ E92(y)
Scope note: This property identifies the E19 Physical Object that is moved during a move event. The property implies the object’s passive participation. For example, Monet’s painting “Impression sunrise” was moved for the first Impressionist exhibition in 1874. In reality, a move must concern at least one object. To: Scope note: This property identifies an instance of E19 Physical Object that was moved by a move event. A move must concern at least one object. The property implies the object’s passive participation. For example, Monet’s painting “Impression sunrise” was moved for the first Impressionist exhibition in 1874. P26 moved to (was destination of)In 33rd CRM-SIG meeting the group the crm-sig discussed about the issues 234, 235,263 and changed subproperty, scope note and the representation in First Order Logic From: Domain: E9 Move Range: E53 Place Subproperty of: E4 Period. P7 took place at (witnessed): E53 Place Quantification: many to many, necessary (1,n:0,n)
Examples:
In First Order Logic: P26(x,y) ⊃ E9(x) P26(x,y) ⊃ E53(y) P26(x,y) ⊃ P7(x,y) To: Domain: E9 Move Range: E53 Place Quantification: many to many, necessary (1,n:0,n)
Therefore the described destination is an instance of E53 Place which P89 falls within (contains) the instance of E53 Place the move P7 took place at. Examples:
In First Order Logic: P26(x,y) ⊃ E9(x) P26(x,y) ⊃ E53(y) P26(x,y) ⊃ (z)[ E53(z) ∧ P7(x,z) ∧ P89(y,z)]
Directory: docs docs -> Application for acem docs -> Observational Assessment of Teaching Practices Teaching Assessment Initiative Proposal Submitted to The Teachers for a New Era project docs -> Traditional British values docs -> From Warfighters to Crimefighters: The Origins of Domestic Police Militarization docs -> Borzoi Club of America Register of Merit Program I. What is a Register Of Merit docs -> Protecting the rights of the child in the context of migration docs -> United Nations E/C. 12/Esp/5 docs -> 9th May 1950 the schuman declaration docs -> Getting To Outcomes® in Services for Homeless Veterans 10 Steps for Achieving Accountability Download 2.39 Mb. Share with your friends:
|