Proposition Set – I4
- Summary
- Identification
- Definition
- Properties
- Namespaces
- Hierarchy
- Relations
- Profiles
- Graph
- Comments 0
I4 Proposition Set
Subclass of:
Superclass 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 dataset. 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:
Francesca Bologna’s belief that Publius Cornelius Tacitus meant that “Nero was at Antium when the Great Fire broke out and did not return to Rome until the fire approached his house” (I12) J2 that
{Nero in July 19, 64 AD (E93 Presence)
P164 is temporally specified by: July 19, 64 AD (E52 Timespan)
P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person)
P167 was within Antium in 64AD, Italy (E53 Place)
P133 is spatiotemporally separated from: The Great Fire of Rome (E5 Event)
P1 is identified by: incendium magnum Romae (E41 Appellation)
P4 has timespan: July 19-27, 64 AD (E52 Timespan)
P7 took place at : Rome in 64AD, Italy (E53 Place)
} (Bologna 2021)
Francesca Bologna’s belief that Gaius Suetonius Tranquillus meant that Nero was singing in Rome while it was burning from July 19 in 64 AD J15 assumed meaning
{Nero July 19, 64 AD (E93 Presence)
P164 is temporally specified by: July 19, 64 AD (E52 Timespan)
P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person)
P167 was within Rome in 64AD, Italy (E53 Place)
P10 falls within (contains): Nero Singing (E7 Activity)
P2 has type: Singing (E55 Type)
P14 carried out by: Nero Claudius Caesar Drusus Germanicus (E21)
P4 has timespan: July 19, 64 AD (E52 Timespan)
P7 took place at: Rome in 64AD, Italy (E53 Place)
P132 spatiotemporally overlaps with: The Great Fire of Rome (E5 Event)
P1 is identified by: incendium magnum Romae (E41 Appellation)
P4 has timespan: July 19-27, 64 AD (E52 Timespan)
P7 took place at: Rome in 64AD, Italy (E53 Place)
}(I4) (Bologna 2021)
In 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 dataset. 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 dataset. 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 1.0 | 0 |
Examples
Example
Francesca Bologna’s belief that Publius Cornelius Tacitus meant that “Nero was at Antium when the Great Fire broke out and did not return to Rome until the fire approached his house” (I12) J2 that
{Nero in July 19, 64 AD (E93 Presence)
P164 is temporally specified by: July 19, 64 AD (E52 Timespan)
P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person)
P167 was within Antium in 64AD, Italy (E53 Place)
P133 is spatiotemporally separated from: The Great Fire of Rome (E5 Event)
P1 is identified by: incendium magnum Romae (E41 Appellation)
P4 has timespan: July 19-27, 64 AD (E52 Timespan)
P7 took place at : Rome in 64AD, Italy (E53 Place)
} (Bologna 2021)
Francesca Bologna’s belief that Gaius Suetonius Tranquillus meant that Nero was singing in Rome while it was burning from July 19 in 64 AD J15 assumed meaning
{Nero July 19, 64 AD (E93 Presence)
P164 is temporally specified by: July 19, 64 AD (E52 Timespan)
P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person)
P167 was within Rome in 64AD, Italy (E53 Place)
P10 falls within (contains): Nero Singing (E7 Activity)
P2 has type: Singing (E55 Type)
P14 carried out by: Nero Claudius Caesar Drusus Germanicus (E21)
P4 has timespan: July 19, 64 AD (E52 Timespan)
P7 took place at: Rome in 64AD, Italy (E53 Place)
P132 spatiotemporally overlaps with: The Great Fire of Rome (E5 Event)
P1 is identified by: incendium magnum Romae (E41 Appellation)
P4 has timespan: July 19-27, 64 AD (E52 Timespan)
P7 took place at: Rome in 64AD, Italy (E53 Place)
}(I4) (Bologna 2021)
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Francesca Bologna’s belief that Publius Cornelius Tacitus meant that “Nero was at Antium when the Great Fire broke out and did not return to Rome until the fire approached his house” (I12) J2 that {Nero in July 19, 64 AD (E93 Presence) P164 is temporally specified by: July 19, 64 AD (E52 Timespan) P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person) P167 was within Antium in 64AD, Italy (E53 Place) P133 is spatiotemporally separated from: The Great Fire of Rome (E5 Event)P1 is identified by: incendium magnum Romae (E41 Appellation)P4 has timespan: July 19-27, 64 AD (E52 Timespan)P7 took place at : Rome in 64AD, Italy (E53 Place) } (Bologna 2021) Francesca Bologna’s belief that Gaius Suetonius Tranquillus meant that Nero was singing in Rome while it was burning from July 19 in 64 AD J15 assumed meaning {Nero July 19, 64 AD (E93 Presence)P164 is temporally specified by: July 19, 64 AD (E52 Timespan)P195 was a presence of: Nero Claudius Caesar Drusus Germanicus (E21 Person)P167 was within Rome in 64AD, Italy (E53 Place) P10 falls within (contains): Nero Singing (E7 Activity) P2 has type: Singing (E55 Type) P14 carried out by: Nero Claudius Caesar Drusus Germanicus (E21) P4 has timespan: July 19, 64 AD (E52 Timespan) P7 took place at: Rome in 64AD, Italy (E53 Place) P132 spatiotemporally overlaps with: The Great Fire of Rome (E5 Event) P1 is identified by: incendium magnum Romae (E41 Appellation) P4 has timespan: July 19-27, 64 AD (E52 Timespan) P7 took place at: Rome in 64AD, Italy (E53 Place)}(I4) (Bologna 2021) | en | CRMinf version 1.0 | 0 |
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 | 2025-04-14 | 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 7.1.3 | CRMinf version 1.0 |
JustificationSubclass of: |
0 |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E89 Propositional Object | 2 | CIDOC CRM version 7.1.3 | E73 |
| E90 Symbolic Object | 2 | CIDOC CRM version 7.1.3 | E73 |
| E28 Conceptual Object | 3 | CIDOC CRM version 7.1.3 | E73 - E89 |
| E28 Conceptual Object | 3 | CIDOC CRM version 7.1.3 | E73 - E90 |
| E72 Legal Object | 3 | CIDOC CRM version 7.1.3 | E73 - E90 |
| E70 Thing | 4 | CIDOC CRM version 7.1.3 | E73 - E90 - E72 |
| E71 Human-Made Thing | 4 | CIDOC CRM version 7.1.3 | E73 - E89 - E28 |
| E71 Human-Made Thing | 4 | CIDOC CRM version 7.1.3 | E73 - E90 - E28 |
| E70 Thing | 5 | CIDOC CRM version 7.1.3 | E73 - E89 - E28 - E71 |
| E70 Thing | 5 | CIDOC CRM version 7.1.3 | E73 - E90 - E28 - E71 |
| E77 Persistent Item | 5 | CIDOC CRM version 7.1.3 | E73 - E90 - E72 - E70 |
| E1 CRM Entity | 6 | CIDOC CRM version 7.1.3 | E73 - E90 - E72 - E70 - E77 |
| E77 Persistent Item | 6 | CIDOC CRM version 7.1.3 | E73 - E89 - E28 - E71 - E70 |
| E77 Persistent Item | 6 | CIDOC CRM version 7.1.3 | E73 - E90 - E28 - E71 - E70 |
| E1 CRM Entity | 7 | CIDOC CRM version 7.1.3 | E73 - E89 - E28 - E71 - E70 - E77 |
| E1 CRM Entity | 7 | CIDOC CRM version 7.1.3 | E73 - E90 - E28 - E71 - E70 - E77 |
| Thing | 7 | OntoME internal model - active version | E73 - E90 - E72 - E70 - E77 - E1 |
| 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
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| I10 Provenance Statement | 1 | CRMinf version 1.0 | |
| I11 Situation | 1 | CRMinf version 1.0 |
Related classes
Outgoing properties (this class is domain)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| No data available in table | |||
Outgoing properties (inherited from ancestors)
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| I13 Intended Meaning Belief | crminf:J16 assumed meaning (is supposed meaning in) | I4 Proposition Set | CRMinf version 1.0 |
| I2 Belief | crminf:J4 that (is subject of) | I4 Proposition Set | CRMinf version 1.0 |
Incoming properties (inherited from ancestors)
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.