Dear All,
Here my resolution of issue 559, the FOL equivalence in words:
*O12 has dimension (is dimension of)*
Domain: S15
<https://docs.google.com/document/d/1_OncdSda-mYNJtUmcyC3lVvnDVuZTo7O/edit#heading=h.3rdcrjn>Observable
Entity
Range: E54
<https://docs.google.com/document/d/1_OncdSda-mYNJtUmcyC3lVvnDVuZTo7O/edit#heading=h.2jxsxqh>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
at the observable entity has.
It offers no information about how and when an E54 Dimension was
established.
In case the instance of S15 Observable Entity is more specifically an
instance of E18 Physical Thing, using the property /O12 has dimension
(is dimension of)/ is equivalent to using the property /P43 has
dimension (is dimension of)./ In other words, using the one implies the
other.
Examples:
* The earthquake of Mexico city in 2017 /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>).
* The landslide that was activated in Parnitha in 1999 after the
earthquake/, had/ dimension crest length > 70 (InGeoCloudS -
INspiredGEOdata CLOUD Services D2.2 2012;D2.3 2013)
In First Order Logic:
O12(x,y) ⊃S15(x)
O12(x,y) ⊃E54(y)
[O12(x,y) ∧E18(x)] ⇒P43(x,y)
[P43(x,y) ∧E18(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
