Proposition Set – I4

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

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

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

Show Notes Type Language Namespace View details Comments

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-12-05 0

* : Standard label for this language

Namespace

Namespace Last updated
CRMinf version 1.0 2024-09-16
CRMinf version 0.7 2021-05-07

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 0

Ancestor classes

Class Depth Class namespace Via
E1 CRM Entity 6 CIDOC CRM version 7.1.3 E73 - E90 - E72 - E70 - E77
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
E28 Conceptual Object 3 CIDOC CRM version 7.1.3 E73 - E89
E28 Conceptual Object 3 CIDOC CRM version 7.1.3 E73 - E90
E70 Thing 4 CIDOC CRM version 7.1.3 E73 - E90 - E72
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
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
E72 Legal Object 3 CIDOC CRM version 7.1.3 E73 - E90
E77 Persistent Item 5 CIDOC CRM version 7.1.3 E73 - E90 - E72 - E70
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
E89 Propositional Object 2 CIDOC CRM version 7.1.3 E73
E90 Symbolic Object 2 CIDOC CRM version 7.1.3 E73
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

Relation Class Class namespace Justification Relation defined in View details Edit Delete Comments

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 ) crm:P1 is identified by (identifies) E41 Appellation CIDOC CRM version 7.1.3
I4 Proposition Set (is a E1 CRM Entity ) crm:P2 has type (is type of) E55 Type CIDOC CRM version 7.1.3
I4 Proposition Set (is a E1 CRM Entity ) crm:P3 has note E62 String CIDOC CRM version 7.1.3
I4 Proposition Set (is a E1 CRM Entity ) crm:P48 has preferred identifier (is preferred identifier of) E42 Identifier CIDOC CRM version 7.1.3
I4 Proposition Set (is a E1 CRM Entity ) crm:P137 exemplifies (is exemplified by) E55 Type CIDOC CRM version 7.1.3
I4 Proposition Set (is a E1 CRM Entity ) crm-sup:P6 has manifestation singleton type (is manifestation singleton type of) C10 Manifestation Singleton Type SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) crm-sup:P5 has type of manifestation product type (is type of) C8 Type of manifestation product type SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) crm-sup:P3 has digital object type (is type of) C7 Digital Object Type SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) sdh:P70 same resource in the world as (same as) E1 CRM Entity SDHSS Core 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 Core ongoing
I4 Proposition Set (is a E1 CRM Entity ) sdh:P10 time-independent entity association E1 CRM Entity SDHSS Core 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 Core ongoing
I4 Proposition Set (is a E1 CRM Entity ) crm-sup:P20 same as external identifier (same as) E42 Identifier SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) sdh:P63 has preferred type (is preferred type of) E55 Type SDHSS Core 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 Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) crm-sup:P30 observed entity type (entity type is observed by) C32 Observed Entity Type SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E1 CRM Entity ) sdh:P67 has kind (is kind of) C50 Kind SDHSS Core 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 Core ongoing
I4 Proposition Set (is a E70 Thing ) crm:P43 has dimension (is dimension of) E54 Dimension CIDOC CRM version 7.1.3
I4 Proposition Set (is a E70 Thing ) crm:P101 had as general use (was use of) E55 Type CIDOC CRM version 7.1.3
I4 Proposition Set (is a E70 Thing ) crm:P130 shows features of (features are also found on) E70 Thing CIDOC CRM version 7.1.3
I4 Proposition Set (is a E71 Human-Made Thing ) crm:P102 has title (is title of) E35 Title CIDOC CRM version 7.1.3
I4 Proposition Set (is a E71 Human-Made Thing ) crm:P103 was intended for (was intention of) E55 Type CIDOC CRM version 7.1.3
I4 Proposition Set (is a E72 Legal Object ) crm:P104 is subject to (applies to) E30 Right CIDOC CRM version 7.1.3
I4 Proposition Set (is a E72 Legal Object ) crm:P105 right held by (has right on) E39 Actor CIDOC CRM version 7.1.3
I4 Proposition Set (is a E73 Information Object ) crm:P165 incorporates (is incorporated in) E90 Symbolic Object CIDOC CRM version 7.1.3
I4 Proposition Set (is a E73 Information Object ) sdh:P101 has information object type (is type of) C28 Information Object Type SDHSS Core ongoing
I4 Proposition Set (is a E77 Persistent Item ) sdh:P22 has quantifiable quality (is quantifiable quality of) C28 Quantifiable Quality SDHSS Core ongoing
I4 Proposition Set (is a E89 Propositional Object ) crm:P67 refers to (is referred to by) E1 CRM Entity CIDOC CRM version 7.1.3
I4 Proposition Set (is a E89 Propositional Object ) crm:P129 is about (is subject of) E1 CRM Entity CIDOC CRM version 7.1.3
I4 Proposition Set (is a E89 Propositional Object ) crm:P148 has component (is component of) E89 Propositional Object CIDOC CRM version 7.1.3
I4 Proposition Set (is a E89 Propositional Object ) sdh-info:P7 is asserted by (asserts) F2 Expression SDHSS for Sources Information and Metadata ongoing
I4 Proposition Set (is a E89 Propositional Object ) crm-sup:P32 has propositional object type (is type of) C35 Propositional Object Type SDHSS CIDOC CRM Base and LRM supplement
I4 Proposition Set (is a E90 Symbolic Object ) crm:P106 is composed of (forms part of) E90 Symbolic Object CIDOC CRM version 7.1.3
I4 Proposition Set (is a E90 Symbolic Object ) crm:P190 has symbolic content E62 String CIDOC CRM version 7.1.3

Incoming properties (this class is range)

Domain Property identifier Range Namespace
I2 Belief crminf:J4 that (is subject of) I4 Proposition Set CRMinf version 1.0
I13 Intended Meaning Belief crminf:J16 assumed meaning (is supposed meaning in) I4 Proposition Set CRMinf version 1.0

Incoming properties (inherited from ancestors)

Domain Property identifier Range Namespace
E1 CRM Entity sdh:P10 time-independent entity association I4 Proposition Set (is a E1) SDHSS Core 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 Core 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 Core ongoing
E1 CRM Entity sdh:P70 same resource in the world as (same as) I4 Proposition Set (is a E1) SDHSS Core ongoing
E1 CRM Entity sdh:P71 could be the same entity as (inverse of could be the same entity as) I4 Proposition Set (is a E1) SDHSS Core ongoing
E2 Temporal Entity sdh:P1 involves (is involved in) I4 Proposition Set (is a E1) SDHSS Core ongoing
E5 Event crm:P12 occurred in the presence of (was present at) I4 Proposition Set (is a E77) CIDOC CRM version 7.1.3
E7 Activity crm:P15 was influenced by (influenced) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P16 used specific object (was used for) I4 Proposition Set (is a E70) CIDOC CRM version 7.1.3
E7 Activity crm:P17 was motivated by (motivated) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E7 Activity crm:P19 was intended use of (was made for) I4 Proposition Set (is a E71) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P140 assigned attribute to (was attributed by) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E13 Attribute Assignment crm:P141 assigned (was assigned by) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E15 Identifier Assignment crm:P142 used constituent (was used in) I4 Proposition Set (is a E90) CIDOC CRM version 7.1.3
E17 Type Assignment crm:P41 classified (was classified by) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E18 Physical Thing crm:P128 carries (is carried by) I4 Proposition Set (is a E90) CIDOC CRM version 7.1.3
E24 Physical Human-Made Thing crm:P62 depicts (is depicted by) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E31 Document crm:P70 documents (is documented in) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E32 Authority Document crm:P71 lists (is listed in) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E36 Visual Item crm:P138 represents (has representation) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E63 Beginning of Existence crm:P92 brought into existence (was brought into existence by) I4 Proposition Set (is a E77) CIDOC CRM version 7.1.3
E64 End of Existence crm:P93 took out of existence (was taken out of existence by) I4 Proposition Set (is a E77) CIDOC CRM version 7.1.3
E65 Creation crm:P94 has created (was created by) I4 Proposition Set (is a E28) CIDOC CRM version 7.1.3
E70 Thing crm:P130 shows features of (features are also found on) I4 Proposition Set (is a E70) CIDOC CRM version 7.1.3
E73 Information Object crm:P165 incorporates (is incorporated in) I4 Proposition Set (is a E90) CIDOC CRM version 7.1.3
E83 Type Creation crm:P136 was based on (supported type creation) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P129 is about (is subject of) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P148 has component (is component of) I4 Proposition Set (is a E89) CIDOC CRM version 7.1.3
E89 Propositional Object crm:P67 refers to (is referred to by) I4 Proposition Set (is a E1) CIDOC CRM version 7.1.3
E90 Symbolic Object crm:P106 is composed of (forms part of) I4 Proposition Set (is a E90) CIDOC CRM version 7.1.3
C11 Appellation in a Language sdh:P11 is appellation for language of (has appellation for language) I4 Proposition Set (is a E1) SDHSS Core ongoing
S4 Observation crmsci:O16 observed value (value was observed by) I4 Proposition Set (is a E1) CRMsci version 2.0
I7 Belief Adoption crminf:J7 is based on evidence from (is evidence for) I4 Proposition Set (is a E73) CRMinf version 1.0
C14 Holding of a Right or Obligation sdh-slc:P8 is subjection of (is subject to) I4 Proposition Set (is a E77) SDHSS Social Life ongoing
C3 Epistemic Situation sdh:P91 involves (is involved in) I4 Proposition Set (is a E77) SDHSS Core ongoing
C19 Legal Integration sdh-slc:P27 is integration of (is integrated by) I4 Proposition Set (is a E1) SDHSS Social Life ongoing
C23 Use sdh:P31 has purpose (is purpose of) I4 Proposition Set (is a E89) SDHSS Core ongoing
C23 Use sdh:P32 is use of (is used by) I4 Proposition Set (is a E77) SDHSS Core ongoing
C4 Intention sdh:P34 has content (is content of) I4 Proposition Set (is a E89) SDHSS Core ongoing
C30 Connotation sdh:P39 is connotation of (has connotation) I4 Proposition Set (is a E1) SDHSS Core ongoing
C27 Legal Fact sdh-slc:P52 is legal fact of (has legal fact) I4 Proposition Set (is a E77) SDHSS Social Life ongoing
C76 Identification sdh:P98 is identification of (has identification) I4 Proposition Set (is a E1) SDHSS Core ongoing
C29 Legal Quality Acquisition sdh-slc:P43 is acquisition by (acquires) I4 Proposition Set (is a E77) SDHSS Social Life ongoing
C8 Intentional Composition sdh:P53 has intentional component (is component of) I4 Proposition Set (is a E1) SDHSS Core ongoing
C8 Intentional Composition sdh:P54 is intentional component of (has intentional component) I4 Proposition Set (is a E1) SDHSS Core ongoing
F1 Work lrmoo:R10 is member of (has member) I4 Proposition Set (is a E28) LRMoo 1.0
F2 Expression lrmoo:R15 has fragment (is fragment of) I4 Proposition Set (is a E90) LRMoo 1.0
C38 Presence of a Thing sdh-slc:P75 is presence of (is concerned by) I4 Proposition Set (is a E70) SDHSS Social Life ongoing
C60 Thing Involved in an Epistemic Situation sdh:P79 is involvement of (has involvement) I4 Proposition Set (is a E77) SDHSS Core ongoing
C66 Involvement of a Thing sdh:P85 concerned object (is involved in) I4 Proposition Set (is a E70) SDHSS Core ongoing
I10 Provenance Statement crminf:J20 is about the provenance of (has provenance claim) I4 Proposition Set (is a E70) CRMinf version 1.0
I12 Adopted Belief crminf:J14 adopted interpretation of (has adopted interpretation) I4 Proposition Set (is a E73) CRMinf version 1.0
I13 Intended Meaning Belief crminf:J17 about (has interpretation) I4 Proposition Set (is a E73) CRMinf version 1.0
I16 Meaning Comprehension crminf:J22 interpreted meaning of (was interpreted by) I4 Proposition Set (is a E70) CRMinf version 1.0
C15 Reference sdh-info:P21 is present in (mentions) I4 Proposition Set (is a E73) SDHSS for Sources Information and Metadata ongoing
C15 Reference sdh-info:P23 refers to (is referred in) I4 Proposition Set (is a E1) SDHSS for Sources Information and Metadata ongoing
C15 Reference sdh-info:P24 has mentioning content (is content of) I4 Proposition Set (is a E73) SDHSS for Sources Information and Metadata ongoing
C15 Reference sdh-info:P25 at position (is position of) I4 Proposition Set (is a E73) SDHSS for Sources Information and Metadata ongoing

Profiles using this class

Label Version Status Last updated
Silknow working profile 1 Ongoing 2023-10-25
ReligiousTexts_project_profile_On 1 Published 2025-12-01
ReligiousTexts_project_profile_On ongoing 2 Ongoing 2025-12-01

Linked classes graph

Use mouse wheel to zoom in/out.

Comments