Commit 996c95e2 authored by Bertrand David's avatar Bertrand David 🦎
Browse files

pXXX générés, avt suppr P supprimés

parent 9499a24b
......@@ -2,14 +2,14 @@
> | | |
> | --- | --- |
> | Domain: | E18 Physical Thing
> | Range: | E39 Actor
> | Subproperty of: | E18 Physical Thing. P49 has former or current keeper (is former or current keeper of): E39 Actor
> | Domain: | E18 Physical Thing
> | Range: | E39 Actor
> | Subproperty of: | E18 Physical Thing. P49 has former or current keeper (is former or current keeper of): E39 Actor
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies the an instance of E39 Actor that had custody of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.<br> P50 has current keeper (is current keeper of) is a shortcut for the more detailed path from E18 Physical Thing through, P30i custody transferred through, E10 Transfer of Custody, P29 custody received by,to E39 Actor.
> | Examples: | <br> paintings from The Iveagh Bequest (E18) has current keeper The National Gallery (E74)
> | In First Order Logic: |<br> P50(x,y) E18(x)<br> P50(x,y) E39(y) <br> P50(x,y) P49(x,y)
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies the an instance of E39 Actor that had custody of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.<br> This property is a shortcut for the more detailed path from E18 Physical Thing through, P30i custody transferred through, E10 Transfer of Custody, P29 custody received by, to E39 Actor.
> | Examples: | paintings from The Iveagh Bequest (E18) has current keeper The National Gallery (E74) (Bequest, 1975)
> | In First Order Logic: | P50(x,y) E18(x)<br> P50(x,y) E39(y) <br> P50(x,y) P49(x,y)<br> P50(x,y) ⇐ (∃z) [E10(z) ˄ P30i(x,z) ˄ P29(z,y)]
> | Properties: |
# P50
......
> # P51 has former or current owner (is former or current owner of)
> | | |
> | --- | --- |
> | Domain: | E18 Physical Thing
> | Range: | E39 Actor
> | Subproperty of: |
> | Superproperty of: | E18 Physical Thing. P52 has current owner (is current owner of): E39 Actor
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies an instance of E39 Actor that is or had been the legal owner (i.e., title holder) of an instance of E18 Physical Thing at some time.<br> The distinction with P52 has current owner (is current owner of) is that P51 has former or current owner (is former or current owner of) does not indicate whether the specified owners are current. <br> This property is a shortcut for the more detailed path from E18 Physical Thing through P24i changed ownership through, E8 Acquisition, P23 transferred title from, or P22 transferred title to, to E39 Actor.
> | Examples: | • paintings from the Iveagh Bequest (E18) has former or current owner Lord Iveagh (E21) (Bequest, 1975)
> | In First Order Logic: | P51(x,y) ⇒ E18(x)<br> P51(x,y) ⇒ E39(y)<br> P51(x,y) ⇐ (∃z) [E8(z) ˄ P24i(x,z) ˄ [P23(z,y) ˅ P22(z,y) ]]
> | Properties: |
# P51
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P52 has current owner (is current owner of)
> | | |
> | --- | --- |
> | Domain: | E18 Physical Thing
> | Range: | E39 Actor
> | Subproperty of: | E18 Physical Thing. P51 has former or current owner (is former or current owner of): E39 Actor<br> E72 Legal Object. P105 right held by (has right on): E39 Actor
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies the instance of E21 Person or E74 Group that was the owner of an instance of E18 Physical Thing at the time of validity of the record or database containing the statement that uses this property.<br> This property is a shortcut for the more detailed path from E18 Physical Thing through, P24i changed ownership through, E8 Acquisition, P22 transferred title to, to E39 Actor, if and only if this acquisition event is the most recent.
> | Examples: | • paintings from the Iveagh Bequest (E18) has current owner Historic England (E74) (Bequest, 1975) [still valid 2021AD. The important collection of Old Master and British portraits was bequeathed to Kenwood by Edward Cecil Guinness, 1st Earl of Iveagh, in 1927] (Bryant, 1990)
> | In First Order Logic: | P52(x,y) ⇒ E18(x)<br> P52(x,y) ⇒ E39(y) <br> P52(x,y) ⇒ P51(x,y)<br> P52(x,y) ⇒ P105(x,y)<br> P52(x,y) ⇐ (∃z) [E(8) ˄ P24i(x,z) ˄ P22(z,y)]
> | Properties: |
# P52
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P53 has former or current location (is former or current location of)
> | | |
> | --- | --- |
> | Domain: | E18 Physical Thing
> | Range: | E53 Place
> | Subproperty of: |
> | Superproperty of: | E19 Physical Object. P55 has current location (currently holds): E53 Place<br> E18 Physical Thing. P156 occupies (is occupied by): E53 Place
> | Quantification: | many to many, necessary (1,n:0,n)
> | Scope note: | This property identifies an instance of E53 Place as the former or current location of an instance of E18 Physical Thing.<br> In the case of instances of E19 Physical Object, the property does not allow any indication of the Time-Span during which the instance of E19 Physical Object was located at this instance of E53 Place, nor if this is the current location.<br> In the case of immobile objects, the Place would normally correspond to the Place of creation.<br> This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, though, P25i moved by, E9 Move, P26 moved to or P27 moved from, to E53 Place.
> | Examples: | • silver cup 232 (E22) has former or current location Display Case 4, Room 23, Museum of Oxford (E53) (fictitious)
> | In First Order Logic: | P53(x,y) ⇒ E18(x)<br> P53(x,y) ⇒ E53(y)<br> P53(x,y) ⇐ (∃z) [E9(z) ˄ P25i(x,z) ˄ [P26(z,y) ˅ P27(z,y)]]
> | Properties: |
# P53
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P54 has current permanent location (is current permanent location of)
> | | |
> | --- | --- |
> | Domain: | E19 Physical Object
> | Range: | E53 Place
> | Subproperty of: |
> | Superproperty of: |
> | Quantification: | many to one (0,1:0,n)
> | Scope note: | This property records the foreseen permanent location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.<br> P54 has current permanent location (is current permanent location of) is similar to P55 has current location (currently holds). However, it indicates the E53 Place currently reserved for an object, such as the permanent storage location or a permanent exhibit location. The object may be temporarily removed from the permanent location, for example when used in temporary exhibitions or loaned to another institution. The object may never actually be located at its permanent location.
> | Examples: | • silver cup 232 (E22) has current permanent location Shelf 3.1, Store 2, Museum of Oxford (E53) (fictitious)
> | In First Order Logic: | P54(x,y) ⇒ E19(x)<br> P54(x,y) ⇒ E53(y)
> | Properties: |
# P54
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P55 has current location (currently holds)
> | | |
> | --- | --- |
> | Domain: | E19 Physical Object
> | Range: | E53 Place
> | Subproperty of: | E18 Physical Thing. P53 has former or current location (is former or current location of): E53 Place
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property records the location of an instance of E19 Physical Object at the time of validity of the record or database containing the statement that uses this property.<br> This property is a specialisation of P53 has former or current location (is former or current location of). It indicates that the instance of E53 Place associated with the instance of E19 Physical Object is the current location of the object. The property does not allow any indication of how long the object has been at the current location. <br> This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path from E19 Physical Object, through, P25i moved by, E9 Move, P26 moved to, to, E53 Place if and only if this Move is the most recent.
> | Examples: | • silver cup 232 (E22) has current location Display cabinet 23, Room 4, British Museum (E53) (fictitious)
> | In First Order Logic: | P55(x,y) ⇒ E19(x)<br> P55(x,y) ⇒ E53(y) <br> P55(x,y) ⇒ P53(x,y)<br> P55(x,y) ⇐ (∃z) [E9(z) ˄ P25i(z,x) ˄ P26(z,y)]
> | Properties: |
# P55
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P56 bears feature (is found on)
> | | |
> | --- | --- |
> | Domain: | E19 Physical Object
> | Range: | E26 Physical Feature
> | Subproperty of: | E18 Physical Thing. P46 is composed of (forms part of): E18 Physical Thing
> | Superproperty of: |
> | Quantification: | one to many, dependent (0,n:1,1)
> | Scope note: | This property links an instance of E19 Physical Object to an instance of E26 Physical Feature that it bears.<br> An instance of E26 Physical Feature can only exist on one object. One object may bear more than one E26 Physical Feature. An instance of E27 Site should be considered as an instance of E26 Physical Feature on the surface of the Earth.<br> An instance B of E26 Physical Feature being a detail of the structure of another instance A of E26 Physical Feature can be linked to B by use of the property P46 is composed of (forms part of). This implies that the subfeature B is P56i is found on the same E19 Physical Object as A. <br> This property is a shortcut. A more detailed representation can make use of the fully developed (i.e., indirect) path E19 Physical Object, through, P59 has section, E53 Place, P53i is former or current location of, to, E26 Physical Feature.
> | Examples: | • silver cup 232 (E22) bears feature 32 mm scratch on silver cup 232 (E26) (fictitious)
> | In First Order Logic: | P56(x,y) ⇒E19(x)<br> P56(x,y) ⇒ E26(y)<br> P56(x,y) ⇒ P46(x,y)<br> P56(x,y) ⇐ (∃z) [E53(z) ˄ P59(x,z) ˄ P53i(z,y)]
> | Properties: |
# P56
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P57 has number of parts
> | | |
> | --- | --- |
> | Domain: | E19 Physical Object
> | Range: | E60 Number
> | Subproperty of: |
> | Superproperty of: |
> | Quantification: | many to one (0,1:0,n)
> | Scope note: | This property documents the number of parts, an instance of E60 Number, of which an instance of E19 Physical Object is composed.<br> This may be used as a method of checking inventory counts with regard to aggregate or collective objects. What constitutes a part or component depends on the context and requirements of the documentation. Normally, the parts documented in this way would not be considered as worthy of individual attention.<br> For a more complete description, objects may be decomposed into their components and constituents using P46 is composed of (forms parts of) and P45 consists of (is incorporated in). This allows each element to be described individually.
> | Examples: | • chess set 233 (E22) has number of parts 33 (E60) (fictitious)
> | In First Order Logic: | P57(x,y) ⇒ E19(x)<br> P57(x,y) ⇒ E60(y)
> | Properties: |
# P57
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P59 has section (is located on or within)
> | | |
> | --- | --- |
> | Domain: | E18 Physical Thing
> | Range: | E53 Place
> | Subproperty of: |
> | Subproperty of: | E18 Physical Thing. P157i provides reference space for: E53 Place
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property links an area, i.e., an instance of E53 Place to the instance of E18 Physical Thing upon which it is found. This area may either be identified by a name, or by a geometry in terms of a coordinate system adapted to the shape of the respective instance of E18 Physical Thing. Typically, names identifying sections of physical objects are composed of the name of a kind of part and the name of the object itself, such as "The poop deck of H.M.S. Victory", which is composed of "poop deck" and "H.M.S. Victory".
> | Examples: | • HMS Victory (E22) has section HMS Victory section B347.6 (E53) (Goodwin, 2015)
> | In First Order Logic: | P59(x,y) ⇒ E18(x)<br> P59(x,y) ⇒ E53(y)
> | Properties: |
# P59
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P62 depicts (is depicted by)
> | | |
> | --- | --- |
> | Domain: | E24 Physical Human-Made Thing
> | Range: | E1 CRM Entity
> | Subproperty of: |
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies something that is depicted by an instance of E24 Physical Human-Made Thing. Depicting is meant in the sense that an instance of E24 Physical Human-Made Thing intentionally shows, through its optical qualities or form, a representation of the entity depicted. Photographs are by default regarded as being intentional in this sense. Anything that is designed to change the properties of the depiction, such as an e-book reader, is specifically excluded. The property does not pertain to inscriptions or any other information encoding.<br> This property is a shortcut of the more fully developed path from E24 Physical Human-Made Thing through P65 shows visual item, E36 Visual Item, P138 represents, E1 CRM Entity. P138.1 mode of representation “depiction” allows the nature of the depiction to be refined.
> | Examples: | • The painting “La Liberté guidant le peuple” by Eugène Delacroix (E22) depicts the French “July Revolution” of 1830 (E7) (Delacroix, 1982)<br> • the 20 pence coin held by the Department of Coins and Medals of the British Museum under registration number 2006,1101.126 (E24) depicts Queen Elizabeth II (E21) mode of depiction Profile (E55)
> | In First Order Logic: | P62(x,y) ⇒ E24(x)<br> P62(x,y) ⇒ E1(y) <br> P62(x,y,z) ⇒ [P62(x,y) ∧ E55(z)]<br> P62(x,y) ⇐ (∃z) [E36(z) ˄ P65(x,z) ˄ P138(z,y)]
> | Properties: | P62.1 mode of depiction: E55 Type
# P62
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P65 shows visual item (is shown by)
> | | |
> | --- | --- |
> | Domain: | E24 Physical Human-Made Thing
> | Range: | E36 Visual Item
> | Subproperty of: | E18 Physical Thing. P128 carries (is carried by): E90 Symbolic Object
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property documents an instance of E36 Visual Item shown by an instance of E24 Physical Human-Made Thing.<br> This property is similar to P62 depicts (is depicted by) in that it associates an instance of E24 Physical Human-Made Thing with a visual representation. However, P65 shows visual item (is shown by) differs from the P62 depicts (is depicted by) property in that it makes no claims about what the instance of E36 Visual Item is deemed to represent. An instance of E36 Visual Item identifies a recognisable image or visual symbol, regardless of what this image may or may not represent.<br> For example, all recent British coins bear a portrait of Queen Elizabeth II, a fact that is correctly documented using P62 depicts (is depicted by). Different portraits have been used at different periods, however. P65 shows visual item (is shown by) can be used to refer to a particular portrait.<br> P65 shows visual item (is shown by) may also be used for Visual Items such as signs, marks and symbols, for example the 'Maltese Cross' or the 'copyright symbol’ that have no particular representational content. <br> This property is part of the fully developed path E24 Physical Human-Made Thing, P65 shows visual item, E36 Visual Item, P138 represents, E1 CRM Entity which is shortcut by, P62 depicts (is depicted by).
> | Examples: | • My T-Shirt (E22) shows visual item Mona Lisa (E36) (fictitious)
> | In First Order Logic: | P65(x,y) ⇒ E24(x)<br> P65(x,y) ⇒ E36(y) <br> P65(x,y) ⇒ P128(x,y)
> | Properties: |
# P65
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P58
>
>
>
>
>
>
>
>
>
>
>
# P58
|
|
|
|
|
|
|
|
|
|
|
> # P67 refers to (is referred to by)
> | | |
> | --- | --- |
> | Domain: | E89 Propositional Object
> | Range: | E1 CRM Entity
> | Subproperty of: |
> | Superproperty of: | E29 Design or Procedure. P68 foresees use of (use foreseen by): E57 Material<br> E31 Document. P70 documents (is documented in): E1 CRM Entity<br> E32 Authority Document. P71 lists (is listed in): E1 CRM Entity<br> E89 Propositional Object. P129 is about (is subject of): E1 CRM Entity<br> E36 Visual Item. P138 represents (has representation): E1 CRM Entity
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property documents that an instance of E89 Propositional Object makes a statement about an instance of E1 CRM Entity. P67 refers to (is referred to by) has the P67.1 has type link to an instance of E55 Type. This is intended to allow a more detailed description of the type of reference. This differs from P129 is about (is subject of), which describes the primary subject or subjects of the instance of E89 Propositional Object.
> | Examples: | • the eBay auction listing of 4 July 2002 (E73) refers to silver cup 232 (E22) has type item for sale (E55) (fictitious)
> | In First Order Logic: | P67(x,y) ⇒ E89(x)<br> P67(x,y) ⇒ E1(y) <br> P67(x,y,z) ⇒ [P67(x,y) ∧ E55(z)]
> | Properties: | P67.1 has type: E55 Type
# P67
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P68 foresees use of (use foreseen by)
> | | |
> | --- | --- |
> | Domain: | E29 Design or Procedure
> | Range: | E57 Material
> | Subproperty of: | E89 Propositional Object. P67 refers to (is referred to by): E1 CRM Entity
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property identifies an instance of E57 Material foreseen to be used by an instance of E29 Design or Procedure. <br> E29 Designs and procedures commonly foresee the use of particular instances of E57 Material. The fabrication of adobe bricks, for example, requires straw, clay and water. This property enables this to be documented.<br> This property is not intended for the documentation of instances of E57 Materials that were used on a particular occasion when an instance of E29 Design or Procedure was executed.
> | Examples: | • procedure for soda glass manufacture (E29) foresees use of soda (E57) (Brooks, 1973)
> | In First Order Logic: | P68(x,y) ⇒ E29(x)<br> P68(x,y) ⇒ E57(y) <br> P68(x,y) ⇒ P67(x,y)
> | Properties: |
# P68
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
> # P69 has association with (is associated with)
> | | |
> | --- | --- |
> | Domain: | E29 Design or Procedure
> | Range: | E29 Design or Procedure
> | Subproperty of: |
> | Superproperty of: |
> | Quantification: | many to many (0,n:0,n)
> | Scope note: | This property generalises relationships like whole-part, sequence, prerequisite or inspired by between instances of E29 Design or Procedure. Any instance of E29 Design or Procedure may be associated with other designs or procedures. The property is considered to be symmetrical unless otherwise indicated by P69.1 has type. <br> The P69.1 has type property of P69 has association with allows the nature of the association to be specified reading from domain to range; examples of types of association between instances of E29 Design or Procedure include: has part, follows, requires, etc.<br> The property can typically be used to model the decomposition of the description of a complete workflow into a series of separate procedures. <br> This property is not transitive.
> | Examples: | • Procedure for glass blowing (E29) has association with procedure for glass heating (E29) (Brooks, 1973<br> • The set of instructions for performing Macbeth in Max Reinhardt's production in 1916 in Berlin at Deutsches Theater (E29) has association with the scene design drawing by Ernst Stern reproduced at http://www.glopad.org/pi/fr/record/digdoc/1003814 (E29) has type has part (E55)<br> • Preparation of parchment (E29) has association with soaking and unhairing of skin (E29) has type ‘has part’ (E55). Preparation of parchment (E29) has association with stretching of skin (E29) has type ‘has part’ (E55). Stretching of skin (E29) has association with soaking and unhairing of skin (E29) has type ‘follows’ (E55). (Poole, 1962)<br> • The plan for reassembling the temples at Abu Simbel (E29) has association with the plan for storing and transporting the blocks (E29) has type 'follows' (E55)'. (Loubiere, 1995)
> | In First Order Logic: | P69(x,y) ⇒ E29(x)<br> P69(x,y) ⇒ E29(y)<br> P69(x,y,z) ⇒ [P69(x,y) ∧ E55(z)] <br> [P69(x,y) ∧ P69(y,z)] ⇒ P69(x,z)
> | Properties: | P69.1 has type: E55 Type
# P69
| | |
|---|---|
| Domaine | |
| Co-domaine | |
| Sous-propriété de | |
| Super-propriété de | |
| Quantification | |
| Note d'application: | |
| Exemples: | |
| Logique du premier ordre: | |
| Propriétés: | |
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment