[Crm-sig] Homework Issue 559

Martin Doerr martin at ics.forth.gr
Mon Oct 4 19:20:34 EEST 2021


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: martin at ics.forth.gr
  Web-site: http://www.ics.forth.gr/isl

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ics.forth.gr/pipermail/crm-sig/attachments/20211004/a69d390f/attachment-0001.html>


More information about the Crm-sig mailing list