Proposition Set – I4

I4 Proposition Set

Scope note:

This class comprises the sets of formal, binary propositions that an I2 Belief is held about. It could be implemented as a named graph, a spreadsheet or any other structured data-set. Regardless of the specific syntax employed, the effective propositions it contains should be made up of unambiguous identifiers, concepts of a formal ontology and constructs of logic.

Examples:

The Dragendorff Samian typology

Type 29 bowls are from the 1st Century AD (need to formulate as a set of CRM statements)

In First Order Logic:

  • I4(x) ⊃ E73(x)

Incoming properties:

Scope Notes

Show Scope note Language Namespace View details Comments
This class comprises the sets of formal, binary propositions that an I2 Belief is held about. It could be implemented as a named graph, a spreadsheet or any other structured data-set. Regardless of the specific syntax employed, the effective propositions it contains should be made up of unambiguous identifiers, concepts of a formal ontology and constructs of logic. en 0

Examples

Show Example Language Namespace View details Comments
The Dragendorff Samian typology en WIP 0
Type 29 bowls are from the 1st Century AD (need to formulate as a set of CRM statements) en WIP 0

Additional notes

Show Notes Language Namespace View details Comments

Identifier : I4

Labels

Label Language Last updated View details Comments
Proposition Set * en 2019-01-23 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMinf version 0.7 2019-04-02

Parent classes

Class Justification Root namespace View association
E73 Information Object CIDOC CRM

Ancestor classes

Class Depth Root namespace
E1 CRM Entity 6 CIDOC CRM
E1 CRM Entity 7 CIDOC CRM
E1 CRM Entity 8 CIDOC CRM
E28 Conceptual Object 3 CIDOC CRM
E70 Thing 4 CIDOC CRM
E70 Thing 5 CIDOC CRM
E71 Man-Made Thing 4 CIDOC CRM
E72 Legal Object 3 CIDOC CRM
E77 Persistent Item 5 CIDOC CRM
E77 Persistent Item 6 CIDOC CRM
E89 Propositional Object 2 CIDOC CRM
E90 Symbolic Object 2 CIDOC CRM
Thing 7 The OWL 2 Schema vocabulary
Thing 8 The OWL 2 Schema vocabulary
Thing 9 The OWL 2 Schema vocabulary
S15 Observable Entity 6 CRMsci: An Extension of CIDOC CRM to support scientific observation
S15 Observable Entity 7 CRMsci: An Extension of CIDOC CRM to support scientific observation

Childs and descendant classes

Class identifier Depth Root namespace

Related classes

Relation Class Justification Defined in namespace View details

Outgoing properties (this class is domain)

Domain Property identifier Range Namespace

Outgoing properties (inherited from ancestors)

Domain Property identifier Range Namespace
I4 Proposition Set (is a E1 CRM Entity) P1 is identified by E41 Appellation CIDOC CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P2 has type E55 Type CIDOC CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P3 has note E62 String CIDOC CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P48 has preferred identifier E42 Identifier CIDOC CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) P137 exemplifies E55 Type CIDOC CRM version 6.2
I4 Proposition Set (is a E1 CRM Entity) L47 has comment E62 String CRMdig version 3.2
I4 Proposition Set (is a E1 CRM Entity) L4 has preferred label E62 String CRMdig version 3.2
I4 Proposition Set (is a E1 CRM Entity) L53 is not uniquely identified by E62 String CRMdig version 3.2
I4 Proposition Set (is a E1 CRM Entity) geovP7 existence is deduced from geovC7 Data entity Geovistory ongoing
I4 Proposition Set (is a E1 CRM Entity) geovP12 same as E1 CRM Entity Geovistory ongoing
I4 Proposition Set (is a E1 CRM Entity) geovP13 derived from E1 CRM Entity Geovistory ongoing
I4 Proposition Set (is a E1 CRM Entity) histP31 time-independent entity association E1 CRM Entity CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
I4 Proposition Set (is a E28 Conceptual Object) P149 is identified by E75 Conceptual Object Appellation CIDOC CRM version 6.2
I4 Proposition Set (is a E70 Thing) P43 has dimension E54 Dimension CIDOC CRM version 6.2
I4 Proposition Set (is a E70 Thing) P101 had as general use E55 Type CIDOC CRM version 6.2
I4 Proposition Set (is a E70 Thing) P130 shows features of E70 Thing CIDOC CRM version 6.2
I4 Proposition Set (is a E71 Man-Made Thing) P102 has title E35 Title CIDOC CRM version 6.2
I4 Proposition Set (is a E71 Man-Made Thing) P103 was intended for E55 Type CIDOC CRM version 6.2
I4 Proposition Set (is a E72 Legal Object) P104 is subject to E30 Right CIDOC CRM version 6.2
I4 Proposition Set (is a E72 Legal Object) P105 right held by E39 Actor CIDOC CRM version 6.2
I4 Proposition Set (is a E73 Information Object) P165 incorporates E90 Symbolic Object CIDOC CRM version 6.2
I4 Proposition Set (is a E73 Information Object) geovP2 mentions E1 CRM Entity Geovistory ongoing
I4 Proposition Set (is a E89 Propositional Object) P67 refers to E1 CRM Entity CIDOC CRM version 6.2
I4 Proposition Set (is a E89 Propositional Object) P129 is about E1 CRM Entity CIDOC CRM version 6.2
I4 Proposition Set (is a E89 Propositional Object) P148 has component E89 Propositional Object CIDOC CRM version 6.2
I4 Proposition Set (is a E90 Symbolic Object) P106 is composed of E90 Symbolic Object CIDOC CRM version 6.2
I4 Proposition Set (is a Thing) topObjectProperty Thing The OWL 2 Schema vocabulary (OWL 2)
I4 Proposition Set (is a S15 Observable Entity) O12 has dimension (is dimension of) E54 Dimension CRMsci version 1.2.3

Incoming properties (this class is range)

Domain Property identifier Range Namespace
I2 Belief J4 that I4 Proposition Set CRMinf version 0.7

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity geovP12 same as I4 Proposition Set (is a E1 CRM Entity) Geovistory ongoing
E1 CRM Entity geovP13 derived from I4 Proposition Set (is a E1 CRM Entity) Geovistory ongoing
E1 CRM Entity histP31 time-independent entity association I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
E2 Temporal Entity histP1 involves I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
E2 Temporal Entity histP30 has identity defining component I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
E5 Event P12 occurred in the presence of I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM version 6.2
E7 Activity P15 was influenced by I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P16 used specific object I4 Proposition Set (is a E70 Thing) CIDOC CRM version 6.2
E7 Activity P17 was motivated by I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E7 Activity P19 was intended use of I4 Proposition Set (is a E71 Man-Made Thing) CIDOC CRM version 6.2
E13 Attribute Assignment P140 assigned attribute to I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E13 Attribute Assignment P141 assigned I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E15 Identifier Assignment P142 used constituent I4 Proposition Set (is a E90 Symbolic Object) CIDOC CRM version 6.2
E16 Measurement P39 measured I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E17 Type Assignment P41 classified I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E18 Physical Thing P128 carries I4 Proposition Set (is a E90 Symbolic Object) CIDOC CRM version 6.2
E24 Physical Man-Made Thing P62 depicts I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E31 Document P70 documents I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E32 Authority Document P71 lists I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E36 Visual Item P138 represents I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E63 Beginning of Existence P92 brought into existence I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM version 6.2
E64 End of Existence P93 took out of existence I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM version 6.2
E65 Creation P94 has created I4 Proposition Set (is a E28 Conceptual Object) CIDOC CRM version 6.2
E70 Thing P130 shows features of I4 Proposition Set (is a E70 Thing) CIDOC CRM version 6.2
E73 Information Object P165 incorporates I4 Proposition Set (is a E90 Symbolic Object) CIDOC CRM version 6.2
E73 Information Object geovP2 mentions I4 Proposition Set (is a E1 CRM Entity) Geovistory ongoing
E81 Transformation P123 resulted in I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM version 6.2
E81 Transformation P124 transformed I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM version 6.2
E83 Type Creation P136 was based on I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P129 is about I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E89 Propositional Object P148 has component I4 Proposition Set (is a E89 Propositional Object) CIDOC CRM version 6.2
E89 Propositional Object P67 refers to I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM version 6.2
E90 Symbolic Object P106 is composed of I4 Proposition Set (is a E90 Symbolic Object) CIDOC CRM version 6.2
histC1 Time-related Persistent Item Characteristic histP4 pertains to I4 Proposition Set (is a E77 Persistent Item) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
histC2 Geographical localisation histP12 is location of I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
Thing topObjectProperty I4 Proposition Set (is a Thing) The OWL 2 Schema vocabulary (OWL 2)
F13 Identifier R8 consists of I4 Proposition Set (is a E90 Symbolic Object) FRBRoo version 2.4
F31 Performance R66 included performed version of I4 Proposition Set (is a E89 Propositional Object) FRBRoo version 2.4
F35 Nomen Use Statement R38 refers to thema I4 Proposition Set (is a E1 CRM Entity) FRBRoo version 2.4
F40 Identifier Assignment R45 assigned to I4 Proposition Set (is a E1 CRM Entity) FRBRoo version 2.4
F51 Pursuit R59 had typical subject I4 Proposition Set (is a E1 CRM Entity) FRBRoo version 2.4
F52 Name Use Activity R63 named I4 Proposition Set (is a E1 CRM Entity) FRBRoo version 2.4
histC10 Appellation for language histP9 isAppellationOf I4 Proposition Set (is a E1 CRM Entity) CIDOC CRM Generic Extension for Historical Data Management and Interoperability, ongoing
S4 Observation O16 observed value (value was observed by) I4 Proposition Set (is a E1 CRM Entity) CRMsci version 1.2.3
S4 Observation O8 observed (was observed by) I4 Proposition Set (is a S15 Observable Entity) CRMsci version 1.2.3
S6 Data Evaluation O11 described (was described by) I4 Proposition Set (is a S15 Observable Entity) CRMsci version 1.2.3
S21 Measurement O24 measured (was measured by) I4 Proposition Set (is a S15 Observable Entity) CRMsci version 1.2.3
socE Bond socP4 to I4 Proposition Set (is a E77 Persistent Item) CRMsoc version 0.1 ongoing
geovC1 [Geovistory] Digital geovP11 refers to I4 Proposition Set (is a E1 CRM Entity) Geovistory ongoing
D2 Digitization Process L60 documents I4 Proposition Set (is a E1 CRM Entity) CRMdig version 3.2
D29 Annotation Object L43 annotates I4 Proposition Set (is a E1 CRM Entity) CRMdig version 3.2
geovC7 Data entity geovP8 corresponds to I4 Proposition Set (is a E1 CRM Entity) Geovistory ongoing
AR11 Object Trigger Template ar19 stipulates reference I4 Proposition Set (is a E73 Information Object) DSI Test ongoing

Profiles using this class

Label Start date End date Last updated

Linked classes graph

Use mouse wheel to zoom in/out.

Comments