View Triples for http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set

In-coming triples
Subject	Predicate	Object	Graph	Adapter
http://www.cidoc-crm.org/extensions/crminf/I10_Provenance_Statement	http://www.w3.org/2000/01/rdf-schema#subClassOf	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I11_Situation	http://www.w3.org/2000/01/rdf-schema#subClassOf	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/J4i_is_subject_of	http://www.w3.org/2000/01/rdf-schema#domain	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/J16i_is_supposed_meaning_in	http://www.w3.org/2000/01/rdf-schema#domain	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/J4_that	http://www.w3.org/2000/01/rdf-schema#range	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/J16_assumed_meaning	http://www.w3.org/2000/01/rdf-schema#range	http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend

Out-going triples
Subject	Predicate	Object	Graph	Adapter
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/1999/02/22-rdf-syntax-ns#type	http://www.w3.org/2002/07/owl#Class	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/2000/01/rdf-schema#subClassOf	http://www.cidoc-crm.org/cidoc-crm/E73_Information_Object	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/2000/01/rdf-schema#comment	"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) "@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/2000/01/rdf-schema#label	"I4 Proposition Set"@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/2004/02/skos/core#notation	"I4"	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend
http://www.cidoc-crm.org/extensions/crminf/I4_Proposition_Set	http://www.w3.org/2004/02/skos/core#prefLabel	"Proposition Set"@en	http://www.cidoc-crm.org/extensions/crminf/	Covher Repository Backend