Proposition Set – I4
- Summary
- Identification
- Definition
- Properties
- Namespaces
- Hierarchy
- Relations
- Profiles
- Graph
- Comments 0
I4 Proposition Set
Subclass of:
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:
Type 29 bowls are from the 1st Century AD (need to formulate as a set of CRM statements)
The Dragendorff Samian typologyIn First Order Logic:
- I4(x) ⇒ E73(x)
Incoming properties:
Scope notes
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.
| 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 | CRMinf version 0.7 | 0 |
Examples
Example
Type 29 bowls are from the 1st Century AD (need to formulate as a set of CRM statements)
Example
The Dragendorff Samian typology
Additional notes
Identifier: I4
Official URI: http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set
OntoME URI: https://ontome.net/ontology/c473
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| Proposition Set * | en | 2021-06-10 | 0 |
* : Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CRMinf version 0.7 | 2021-05-07 |
| CRMinf version 1.0 | 2024-09-16 |
Parent classes
| Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|---|---|---|---|---|---|---|
| E73 Information Object | CIDOC CRM version 6.2 | CRMinf version 0.7 |
JustificationSubclass of: E73 Information Object |
0 |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E89 Propositional Object | 2 | CIDOC CRM version 6.2 | E73 |
| E90 Symbolic Object | 2 | CIDOC CRM version 6.2 | E73 |
| E28 Conceptual Object | 3 | CIDOC CRM version 6.2 | E73 - E89 |
| E28 Conceptual Object | 3 | CIDOC CRM version 6.2 | E73 - E90 |
| E72 Legal Object | 3 | CIDOC CRM version 6.2 | E73 - E90 |
| E70 Thing | 4 | CIDOC CRM version 6.2 | E73 - E90 - E72 |
| E71 Man-Made Thing | 4 | CIDOC CRM version 6.2 | E73 - E89 - E28 |
| E71 Man-Made Thing | 4 | CIDOC CRM version 6.2 | E73 - E90 - E28 |
| E70 Thing | 5 | CIDOC CRM version 6.2 | E73 - E89 - E28 - E71 |
| E70 Thing | 5 | CIDOC CRM version 6.2 | E73 - E90 - E28 - E71 |
| E77 Persistent Item | 5 | CIDOC CRM version 6.2 | E73 - E90 - E72 - E70 |
| E1 CRM Entity | 6 | CIDOC CRM version 6.2 | E73 - E90 - E72 - E70 - E77 |
| E77 Persistent Item | 6 | CIDOC CRM version 6.2 | E73 - E89 - E28 - E71 - E70 |
| E77 Persistent Item | 6 | CIDOC CRM version 6.2 | E73 - E90 - E28 - E71 - E70 |
| S15 Observable Entity | 6 | CRMsci version 1.2.3 | E73 - E90 - E72 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E73 - E89 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E73 - E90 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 6.2 | E73 - E90 - E72 - E70 - E77 - S15 |
| Thing | 7 | OntoME internal model - active version | E73 - E90 - E72 - E70 - E77 - E1 |
| S15 Observable Entity | 7 | CRMsci version 1.2.3 | E73 - E89 - E28 - E71 - E70 - E77 |
| S15 Observable Entity | 7 | CRMsci version 1.2.3 | E73 - E90 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 8 | CIDOC CRM version 6.2 | E73 - E89 - E28 - E71 - E70 - E77 - S15 |
| E1 CRM Entity | 8 | CIDOC CRM version 6.2 | E73 - E90 - E28 - E71 - E70 - E77 - S15 |
| Thing | 8 | OntoME internal model - active version | E73 - E89 - E28 - E71 - E70 - E77 - E1 |
| Thing | 8 | OntoME internal model - active version | E73 - E90 - E28 - E71 - E70 - E77 - E1 |
Child and descendant classes
Related classes
Outgoing properties (this class is domain)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| No data available in table | |||
Outgoing properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I4 Proposition Set (is a E1 CRM Entity ) | crm:P1 is identified by (identifies) | E41 Appellation | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E1 CRM Entity ) | crm:P2 has type (is type of) | E55 Type | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E1 CRM Entity ) | crm:P3 has note | E62 String | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E1 CRM Entity ) | crm:P48 has preferred identifier (is preferred identifier of) | E42 Identifier | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E1 CRM Entity ) | crm:P137 exemplifies (is exemplified by) | E55 Type | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E1 CRM Entity ) | crmdig:L47 has comment | E62 String | CRMdig version 3.2.1 |
| I4 Proposition Set (is a E1 CRM Entity ) | crmdig:L4 has preferred label | E62 String | CRMdig version 3.2.1 |
| I4 Proposition Set (is a E1 CRM Entity ) | crmdig:L53 is not uniquely identified by | E62 String | CRMdig version 3.2.1 |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P70 same resource in the world as (same as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P10 time-independent entity association | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P18 is identifying component of range class (range class has identity defining component) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | crm-sup:P20 same as external identifier (same as) | E42 Identifier | SDHSS CIDOC CRM supplement – ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P63 has preferred type (is preferred type of) | E55 Type | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | crm-sup:P28 same as URI [owl:sameAs] (same as) | C30 Uniform Resource Identifier (URI) | SDHSS CIDOC CRM supplement – ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | crmdig:L54 is same-as (is same-as) | E1 CRM Entity | CRMdig version 3.2.1 |
| I4 Proposition Set (is a E1 CRM Entity ) | crmdig:L55 has inventory no | E62 String | CRMdig version 3.2.1 |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P67 has kind (is kind of) | C50 Kind | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E1 CRM Entity ) | sdh:P71 could be the same entity as (inverse of could be the same entity as) | E1 CRM Entity | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| I4 Proposition Set (is a E28 Conceptual Object ) | crm:P149 is identified by (identifies) | E75 Conceptual Object Appellation | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E70 Thing ) | crm:P43 has dimension (is dimension of) | E54 Dimension | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E70 Thing ) | crm:P101 had as general use (was use of) | E55 Type | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E70 Thing ) | crm:P130 shows features of (features are also found on) | E70 Thing | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E71 Man-Made Thing ) | crm:P102 has title (is title of) | E35 Title | CIDOC CRM version 6.2 |
| I4 Proposition Set (is a E71 Man-Made Thing ) | crm:P103 was intended for (was intention of) | E55 Type | CIDOC CRM version 6.2 |
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I2 Belief | crminf:J4 that (is subject of) | I4 Proposition Set | CRMinf version 0.7 |
Incoming properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| C11 Appellation in a Language | sdh:P11 is appellation for language of (has appellation for language) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C12 Dedication | sdh-int:P22 has dedicatory object (is dedicatory object of) | I4 Proposition Set (is a E77) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
| C14 Holding of a Right or Obligation | sdh-so:P8 is subjection of (is subject to) | I4 Proposition Set (is a E77) | SDHSS Social, legal and economic life ongoing |
| C19 Legal Integration | sdh-so:P27 is integration of (is integrated by) | I4 Proposition Set (is a E1) | SDHSS Social, legal and economic life ongoing |
| C23 Identification | crm-sup:P18 is identification of (has identification) | I4 Proposition Set (is a E1) | SDHSS CIDOC CRM supplement – ongoing |
| C23 Use | sdh:P31 has purpose (is purpose of) | I4 Proposition Set (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C23 Use | sdh:P32 is use of (is used by) | I4 Proposition Set (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C27 Legal Fact | sdh-so:P52 is legal fact of (has legal fact) | I4 Proposition Set (is a E77) | SDHSS Social, legal and economic life ongoing |
| C29 Legal Quality Acquisition | sdh-so:P43 is acquisition by (acquires) | I4 Proposition Set (is a E77) | SDHSS Social, legal and economic life ongoing |
| C3 Epistemic Situation | sdh:P91 involves (is involved in) | I4 Proposition Set (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C30 Connotation | sdh:P39 is connotation of (has connotation) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C38 Presence of a Thing | sdh-so:P75 is presence of (is concerned by) | I4 Proposition Set (is a E70) | SDHSS Social, legal and economic life ongoing |
| C4 Intention | sdh:P34 has content (is content of) | I4 Proposition Set (is a E89) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C5 Step | sdh-int:P14 foresees the use of specific object (is foreseen for) | I4 Proposition Set (is a E71) | SDHSS - Propositions, Texts, Intellectual Life ongoing |
| C60 Thing Involved in an Epistemic Situation | sdh:P79 is involvement of (has involvement) | I4 Proposition Set (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C66 Involvement of a Thing | sdh:P85 concerned object (is involved in) | I4 Proposition Set (is a E70) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C8 Intentional Composition | sdh:P53 has intentional component (is component of) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C8 Intentional Composition | sdh:P54 is intentional component of (has intentional component) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| D2 Digitization Process | crmdig:L60 documents | I4 Proposition Set (is a E1) | CRMdig version 3.2.1 |
| D29 Annotation Object | crmdig:L43 annotates (is annotated by) | I4 Proposition Set (is a E1) | CRMdig version 3.2.1 |
| E1 CRM Entity | crmdig:L54 is same-as (is same-as) | I4 Proposition Set (is a E1) | CRMdig version 3.2.1 |
| E1 CRM Entity | sdh:P10 time-independent entity association | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E1 CRM Entity | sdh:P18 is identifying component of range class (range class has identity defining component) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E1 CRM Entity | sdh:P2 domain class has identity defining component (is identity defining component of domain class) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E1 CRM Entity | sdh:P70 same resource in the world as (same as) | I4 Proposition Set (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
Profiles using this class
| Label | Version | Status | Last updated |
|---|---|---|---|
| Silknow working profile | 1 | Ongoing | 2023-10-25 |
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
No comment found.