Propositional Object – E89
E89 Propositional Object
Subclass of:
Superclass of:
Scope note:
This class comprises immaterial items, including but not limited to stories, plots, procedural prescriptions, algorithms, laws of physics or images that are, or represent in some sense, sets of propositions about real or imaginary things and that are documented as single units or serve as topics of discourse.
This class also comprises items that are “about” something in the sense of a subject. In the wider sense, this class includes expressions of psychological value such as non-figural art and musical themes. However, conceptual items such as types and classes are not instances of E89 Propositional Object. This should not be confused with the definition of a type, which is indeed an instance of E89 Propositional Object.
Examples:
- Maxwell’s Equations
- The ideational contents of Aristotle’s book entitled ‘Metaphysics’ as rendered in the Greek texts translated in … Oxford edition…
- The underlying prototype of any “no-smoking” sign (E36)
- The common ideas of the plots of the movie ""The Seven Samurai"" by Akira Kurosawa and the movie “The Magnificent Seven” by John Sturges
- The image content of the photo of the Allied Leaders at Yalta 1945 (E38)
Context notes:
Additional examples in relation with the sdh:C27 Intention class:
- The Earth is an extremely heavy body and rests at the centre of the Universe
- The Earth moves around the Sun in an elliptical orbit
- Lucia is marriageable (Alessandro Manzoni, I promessi sposi)
- War will probably break out with the neighbouring country
In First Order Logic:
- E89(x) ⇒ E28(x)
Outgoing properties:
Scope notes
| Show | Scope note | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| This class comprises immaterial items, including but not limited to stories, plots, procedural prescriptions, algorithms, laws of physics or images that are, or represent in some sense, sets of propositions about real or imaginary things and that are documented as single units or serve as topics of discourse. This class also comprises items that are “about” something in the sense of a subject. In the wider sense, this class includes expressions of psychological value such as non-figural art and musical themes. However, conceptual items such as types and classes are not instances of E89 Propositional Object. This should not be confused with the definition of a type, which is indeed an instance of E89 Propositional Object. | en | CIDOC CRM version 6.2 | 0 |
Examples
| Show | Example | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|
| Maxwell’s Equations The ideational contents of Aristotle’s book entitled ‘Metaphysics’ as rendered in the Greek texts translated in … Oxford edition… The underlying prototype of any “no-smoking” sign (E36) The common ideas of the plots of the movie ""The Seven Samurai"" by Akira Kurosawa and the movie “The Magnificent Seven” by John Sturges The image content of the photo of the Allied Leaders at Yalta 1945 (E38) | en | CIDOC CRM version 6.2 | 0 |
Additional notes
| Show | Notes | Type | Language | Namespace | View details | Comments |
|---|---|---|---|---|---|---|
| Additional examples in relation with the sdh:C27 Intention class: The Earth is an extremely heavy body and rests at the centre of the Universe The Earth moves around the Sun in an elliptical orbit Lucia is marriageable (Alessandro Manzoni, I promessi sposi) War will probably break out with the neighbouring country | Context note | en | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | 0 |
Identifier: E89
Official URI: http://www.cidoc-crm.org/cidoc-crm/E89_Propositional_Object
OntoME URI: https://ontome.net/ontology/c81
Labels
| Label | Language | Last updated | View details | Comments |
|---|---|---|---|---|
| Aussagenobjekt * | de | 2021-06-10 | 0 | |
| Propositional Object | en | 2022-06-13 | 0 | |
| 陈述性物件 * | zh | 2021-06-10 | 0 |
* : Standard label for this language
Namespace
| Namespace | Last updated |
|---|---|
| CIDOC CRM version 7.1.2 | 2022-06-13 |
| CIDOC CRM version 5.0.4 | 2022-06-13 |
| CIDOC CRM version 6.2 | 2021-06-10 |
Parent classes
| Class | Class namespace | Relation defined in | Justification | View details | Edit | Delete | Comments |
|---|---|---|---|---|---|---|---|
| E28 Conceptual Object | CIDOC CRM version 6.2 | CIDOC CRM version 6.2 | 0 |
Ancestor classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E1 CRM Entity | 5 | CIDOC CRM version 6.2 | E28 - E71 - E70 - E77 |
| E1 CRM Entity | 6 | CIDOC CRM version 6.2 | E28 - E71 - E70 - E77 - S15 |
| E70 Thing | 3 | CIDOC CRM version 6.2 | E28 - E71 |
| E71 Human-Made Thing | 2 | CIDOC CRM version 6.2 | E28 |
| E71 Man-Made Thing | 2 | CIDOC CRM version 6.2 | E28 |
| E77 Persistent Item | 4 | CIDOC CRM version 6.2 | E28 - E71 - E70 |
| Thing | 6 | OntoME internal model - active version | E28 - E71 - E70 - E77 - E1 |
| Thing | 7 | OntoME internal model - active version | E28 - E71 - E70 - E77 - S15 - E1 |
| S15 Observable Entity | 5 | CRMsci version 1.2.3 | E28 - E71 - E70 - E77 |
Child and descendant classes
| Class | Depth | Class namespace | Via |
|---|---|---|---|
| E29 Design or Procedure | 2 | CIDOC CRM version 6.2 | E73 |
| E30 Right | 1 | CIDOC CRM version 6.2 | |
| E31 Document | 2 | CIDOC CRM version 6.2 | E73 |
| E32 Authority Document | 3 | CIDOC CRM version 6.2 | E73 - E31 |
| E33 Linguistic Object | 2 | CIDOC CRM version 6.2 | E73 |
| E34 Inscription | 3 | CIDOC CRM version 6.2 | E73 - E33 |
| E34 Inscription | 4 | CIDOC CRM version 6.2 | E73 - E36 - E37 |
| E35 Title | 3 | CIDOC CRM version 6.2 | E73 - E33 |
| E36 Visual Item | 2 | CIDOC CRM version 6.2 | E73 |
| E37 Mark | 3 | CIDOC CRM version 6.2 | E73 - E36 |
| E38 Image | 3 | CIDOC CRM version 6.2 | E73 - E36 |
| E73 Information Object | 1 | CIDOC CRM version 6.2 | |
| F1 Work | 1 | FRBRoo version 2.4 | |
| F2 Expression | 2 | FRBRoo version 2.4 | E73 |
| F14 Individual Work | 2 | FRBRoo version 2.4 | F1 |
| F15 Complex Work | 2 | FRBRoo version 2.4 | F1 |
| F16 Container Work | 2 | FRBRoo version 2.4 | F1 |
| F17 Aggregation Work | 3 | FRBRoo version 2.4 | F1 - F14 |
| F17 Aggregation Work | 3 | FRBRoo version 2.4 | F1 - F16 |
| F18 Serial Work | 3 | FRBRoo version 2.4 | F1 - F15 |
| F18 Serial Work | 4 | FRBRoo version 2.4 | F1 - F16 - F19 |
| F19 Publication Work | 3 | FRBRoo version 2.4 | F1 - F16 |
| F20 Performance Work | 3 | FRBRoo version 2.4 | F1 - F16 |
| F21 Recording Work | 2 | FRBRoo version 2.4 | F1 |
| F22 Self-Contained Expression | 3 | FRBRoo version 2.4 | E73 - F2 |
| F23 Expression Fragment | 3 | FRBRoo version 2.4 | E73 - F2 |
| F24 Publication Expression | 4 | FRBRoo version 2.4 | E73 - F2 - F22 |
| F25 Performance Plan | 3 | FRBRoo version 2.4 | E73 - E29 |
| F25 Performance Plan | 4 | FRBRoo version 2.4 | E73 - F2 - F22 |
| F26 Recording | 4 | FRBRoo version 2.4 | E73 - F2 - F22 |
| F34 KOS | 3 | FRBRoo version 2.4 | E73 - E29 |
| F34 KOS | 3 | FRBRoo version 2.4 | E73 - F2 |
| F34 KOS | 4 | FRBRoo version 2.4 | E73 - E31 - E32 |
| F35 Nomen Use Statement | 3 | FRBRoo version 2.4 | E73 - E29 |
| F35 Nomen Use Statement | 3 | FRBRoo version 2.4 | E73 - F2 |
| F36 Script Conversion | 3 | FRBRoo version 2.4 | E73 - E29 |
| F43 Identifier Rule | 3 | FRBRoo version 2.4 | E73 - E29 |
| F43 Identifier Rule | 3 | FRBRoo version 2.4 | E73 - F2 |
| D1 Digital Object | 2 | CRMdig version 3.2.1 | E73 |
| D9 Data Object | 3 | CRMdig version 3.2.1 | E73 - D1 |
| D14 Software | 3 | CRMdig version 3.2.1 | E73 - D1 |
| D29 Annotation Object | 1 | CRMdig version 3.2.1 | |
| D35 Area | 3 | CRMdig version 3.2.1 | E73 - D1 |
| C2 Expression portion | 3 | SDHSS Intellectual and Literary Life ongoing | E73 - F2 |
| C2 Intentional Situation | 1 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | |
| C17 Custom or Law | 2 | SDHSS Social, legal and economic life ongoing | C36 |
| C4 Procedure | 3 | SDHSS Intellectual and Literary Life ongoing | C36 - C29 |
| C5 Step | 4 | SDHSS Intellectual and Literary Life ongoing | C36 - C29 - C4 |
| C6 Component | 1 | SDHSS Intellectual and Literary Life ongoing | |
| C29 Know-How | 2 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | C36 |
| C36 Plan | 1 | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing | |
| C9 Asserted Actor's Role | 1 | SDHSS Intellectual and Literary Life ongoing | |
| C10 Bibliographic Citation | 3 | SDHSS Intellectual and Literary Life ongoing | E73 - E33 |
| C35 Actor's quality in relation to an event | 1 | SDHSS Social, legal and economic life ongoing | |
| C13 Asserted Datation | 1 | SDHSS Intellectual and Literary Life ongoing |
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 |
|---|---|---|---|
| E89 Propositional Object | crm:P129 is about (is subject of) | E1 CRM Entity | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P148 has component (is component of) | E89 Propositional Object | CIDOC CRM version 6.2 |
| E89 Propositional Object | sdh-int:P16 is asserted by (asserts) | F2 Expression | SDHSS Intellectual and Literary Life ongoing |
| E89 Propositional Object | crm:P67 refers to (is referred to by) | E1 CRM Entity | CIDOC CRM version 6.2 |
Outgoing properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| E89 Propositional Object (is a E1 CRM Entity) | crm:P1 is identified by (identifies) | E41 Appellation | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E1 CRM Entity) | crm:P2 has type (is type of) | E55 Type | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E1 CRM Entity) | crm:P3 has note | E62 String | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E1 CRM Entity) | crm:P48 has preferred identifier (is preferred identifier of) | E42 Identifier | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E1 CRM Entity) | crm:P137 exemplifies (is exemplified by) | E55 Type | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E1 CRM Entity) | crmdig:L47 has comment | E62 String | CRMdig version 3.2.1 |
| E89 Propositional Object (is a E1 CRM Entity) | crmdig:L4 has preferred label | E62 String | CRMdig version 3.2.1 |
| E89 Propositional Object (is a E1 CRM Entity) | crmdig:L53 is not uniquely identified by | E62 String | CRMdig version 3.2.1 |
| E89 Propositional Object (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 |
| E89 Propositional Object (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 |
| E89 Propositional Object (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 |
| E89 Propositional Object (is a E1 CRM Entity) | crm-sup:P20 same as external identifier (same as) | E42 Identifier | SDHSS CIDOC CRM supplement – ongoing |
| E89 Propositional Object (is a E1 CRM Entity) | sdh:P63 has identity defining type (is identity defining type) | E55 Type | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E89 Propositional Object (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 |
| E89 Propositional Object (is a E1 CRM Entity) | crmdig:L54 is same-as (is same-as) | E1 CRM Entity | CRMdig version 3.2.1 |
| E89 Propositional Object (is a E1 CRM Entity) | crmdig:L55 has inventory no | E62 String | CRMdig version 3.2.1 |
| E89 Propositional Object (is a E28 Conceptual Object) | crm:P149 is identified by (identifies) | E75 Conceptual Object Appellation | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E70 Thing) | crm:P43 has dimension (is dimension of) | E54 Dimension | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E70 Thing) | crm:P101 had as general use (was use of) | E55 Type | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E70 Thing) | crm:P130 shows features of (features are also found on) | E70 Thing | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E71 Man-Made Thing) | crm:P102 has title (is title of) | E35 Title | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E71 Man-Made Thing) | crm:P103 was intended for (was intention of) | E55 Type | CIDOC CRM version 6.2 |
| E89 Propositional Object (is a E77 Persistent Item) | sdh:P22 has quantifiable quality (is quantifiable quality of) | C28 Quantifiable Quality | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E89 Propositional Object (is a S15 Observable Entity) | crmsci:O12 has dimension (is dimension of) | E54 Dimension | CRMsci version 1.2.3 |
Incoming properties (this class is range)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| E89 Propositional Object | crm:P148 has component (is component of) | E89 Propositional Object | CIDOC CRM version 6.2 |
| F31 Performance | frbroo:R66 included performed version of (had a performed version through) | E89 Propositional Object | FRBRoo version 2.4 |
| C23 Use | sdh:P31 has purpose (is purpose of) | E89 Propositional Object | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C4 Intention | sdh:P34 has content (is content of) | E89 Propositional Object | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
Incoming properties (inherited from ancestors)
| Domain | Property identifier | Range | Namespace |
|---|---|---|---|
| E1 CRM Entity | crmdig:L54 is same-as (is same-as) | E89 Propositional Object (is a E1) | CRMdig version 3.2.1 |
| E1 CRM Entity | sdh:P10 time-independent entity association | E89 Propositional Object (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) | E89 Propositional Object (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) | E89 Propositional Object (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E2 Temporal Entity | sdh:P1 involves | E89 Propositional Object (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| E5 Event | crm:P12 occurred in the presence of (was present at) | E89 Propositional Object (is a E77) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P15 was influenced by (influenced) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P16 used specific object (was used for) | E89 Propositional Object (is a E70) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P17 was motivated by (motivated) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E7 Activity | crm:P19 was intended use of (was made for) | E89 Propositional Object (is a E71) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | crm:P140 assigned attribute to (was attributed by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E13 Attribute Assignment | crm:P141 assigned (was assigned by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E16 Measurement | crm:P39 measured (was measured by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E17 Type Assignment | crm:P41 classified (was classified by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E24 Physical Man-Made Thing | crm:P62 depicts (is depicted by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E31 Document | crm:P70 documents (is documented in) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E32 Authority Document | crm:P71 lists (is listed in) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E36 Visual Item | crm:P138 represents (has representation) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E63 Beginning of Existence | crm:P92 brought into existence (was brought into existence by) | E89 Propositional Object (is a E77) | CIDOC CRM version 6.2 |
| E64 End of Existence | crm:P93 took out of existence (was taken out of existence by) | E89 Propositional Object (is a E77) | CIDOC CRM version 6.2 |
| E65 Creation | crm:P94 has created (was created by) | E89 Propositional Object (is a E28) | CIDOC CRM version 6.2 |
| E70 Thing | crm:P130 shows features of (features are also found on) | E89 Propositional Object (is a E70) | CIDOC CRM version 6.2 |
| E81 Transformation | crm:P123 resulted in (resulted from) | E89 Propositional Object (is a E77) | CIDOC CRM version 6.2 |
| E81 Transformation | crm:P124 transformed (was transformed by) | E89 Propositional Object (is a E77) | CIDOC CRM version 6.2 |
| E83 Type Creation | crm:P136 was based on (supported type creation) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P129 is about (is subject of) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| E89 Propositional Object | crm:P67 refers to (is referred to by) | E89 Propositional Object (is a E1) | CIDOC CRM version 6.2 |
| F35 Nomen Use Statement | frbroo:R38 refers to thema (is thema of) | E89 Propositional Object (is a E1) | FRBRoo version 2.4 |
| F40 Identifier Assignment | frbroo:R45 assigned to (was assigned by) | E89 Propositional Object (is a E1) | FRBRoo version 2.4 |
| F51 Pursuit | frbroo:R59 had typical subject (was typical subject of) | E89 Propositional Object (is a E1) | FRBRoo version 2.4 |
| F52 Name Use Activity | frbroo:R63 named (was named by) | E89 Propositional Object (is a E1) | FRBRoo version 2.4 |
| C11 Appellation in a Language | sdh:P11 is appellation for language of (has appellation for language) | E89 Propositional Object (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| S4 Observation | crmsci:O16 observed value (value was observed by) | E89 Propositional Object (is a E1) | CRMsci version 1.2.3 |
| S4 Observation | crmsci:O8 observed (was observed by) | E89 Propositional Object (is a S15) | CRMsci version 1.2.3 |
| S6 Data Evaluation | crmsci:O11 described (was described by) | E89 Propositional Object (is a S15) | CRMsci version 1.2.3 |
| S21 Measurement | crmsci:O24 measured (was measured by) | E89 Propositional Object (is a S15) | CRMsci version 1.2.3 |
| D2 Digitization Process | crmdig:L60 documents | E89 Propositional Object (is a E1) | CRMdig version 3.2.1 |
| D29 Annotation Object | crmdig:L43 annotates (is annotated by) | E89 Propositional Object (is a E1) | CRMdig version 3.2.1 |
| C14 Holding of a Right or Obligation | sdh-so:P8 is subjection of (is subject to) | E89 Propositional Object (is a E77) | SDHSS Social, legal and economic life ongoing |
| C16 [Deprecated] Legal Conceptual Object Creation | sdh-so:P25 is legal creation of (was created by) | E89 Propositional Object (is a E28) | SDHSS Social, legal and economic life ongoing |
| C19 Legal Integration | sdh-so:P27 is integration of (is integrated by) | E89 Propositional Object (is a E1) | SDHSS Social, legal and economic life ongoing |
| C5 Step | sdh-int:P14 foresees the use of specific object (is foreseen for) | E89 Propositional Object (is a E71) | SDHSS Intellectual and Literary Life ongoing |
| C23 Use | sdh:P32 is use of (is used by) | E89 Propositional Object (is a E77) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C30 Connotation | sdh:P39 is connotation of (has connotation) | E89 Propositional Object (is a E1) | SDHSS Semantic Data for Humanities and Social Sciences CIDOC CRM Extension ongoing |
| C27 Legal Connotation | sdh-so:P52 is legal connotation of (has legal connotation) | E89 Propositional Object (is a E77) | SDHSS Social, legal and economic life ongoing |
| C23 Identification | crm-sup:P18 is identification of (has identification) | E89 Propositional Object (is a E1) | SDHSS CIDOC CRM supplement – ongoing |
| C29 Legal Quality Acquisition | sdh-so:P43 is acquisition by (acquires) | E89 Propositional Object (is a E77) | SDHSS Social, legal and economic life ongoing |
| C8 Intentional Composition | sdh:P53 has intentional component (is component of) | E89 Propositional Object (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) | E89 Propositional Object (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) | E89 Propositional Object (is a E77) | SDHSS Intellectual and Literary Life ongoing |
Profiles using this class
| Label | Version | Status | Last updated |
|---|---|---|---|
| Description of Sources ongoing | 1 | Ongoing | 2021-08-11 |
| Intellectual and literary life | 1 | Ongoing | 2021-06-10 |
| Silknow working profile | 1 | Ongoing | 2021-06-10 |
| Silknow generic | 1 | Ongoing | 2021-06-15 |
Linked classes graph
Use mouse wheel to zoom in/out.
Comments
Francesco Beretta
"The **definition** of a type" is a propositional object, not the type itself. 'Chaise' is a type, 'Objet destiné à être utilisé pour s'assoire dessus' is a propositional object.
on November 30, 2020 20:32Bertrand Dumenieu
Est-ce qu'il n'y a pas une contradiction dans la dernière phrase ? : "This should not be confused with the definition of a type, which is indeed an instance of E89 Propositional Object. "
on November 6, 2020 15:20