Dear All,
Here the equivalence between P43 has dimension and O12 has dimension.
Since S10 Material Substantial IsA E70 Thing and IsA S15, it constitutes
the overlap between O12 and P43. But O12 adds dimensions to events.
I have also added E numbers to the examples.
Result:
*O12 has dimension**(is dimension of)*
Domain: S15 <#_S19_Observable_Entity> Observable Entity
Range: E54 <#_E54_Dimension> Dimension
Quantification: one to many, dependent (0,n:1,1)
Scope note: This property associates an instance of S15
Observable Entity with an instance of E54 Dimension that the observable
entity has.
It offers no information about how and when an E54 Dimension was
established.
Examples:
§ The earthquake of Mexico city in 2017 *(E7)* had dimension magnitude
6.2 Richter (Mindock, 2017,
http://www.independent.co.uk/news/world/americas/mexico-earthquake-today-latest-mexico-city-magnitude-6-tremor-damage-a7963211.html
<http://www.independent.co.uk/news/world/americas/mexico-earthquake-today-latest-mexico-city-magnitude-6-tremor-damage-a7963211.html>
)[1].
§ The landslide that was activated in Parnitha in 1999 after the
earthquake *(E26)*, had dimension crest length > 70 (InGeoCloudS -
INspiredGEOdata CLOUD Services D2.2 2012;D2.3 2013)[2]
In First Order Logic:
O12(x,y) ⇒ S15(x)
O12(x,y) ⇒ E54(y)
***[O12(x,y) **∧**S10(x)] **⇒****P43(x,y)*
**
*[P43(x,y) **∧**S10(x)] **⇒****O12(x,y)*
------------------------------------------------------------------------
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Vox:+30(2810)391625
Email: mar...@ics.forth.gr
Web-site: http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig