[Crm-sig] NEW ISSUE FOL for properties with range type
Martin Doerr
martin at ics.forth.gr
Sat Jan 25 21:40:37 EET 2020
Dear All,
I propose for
P101 <#_P101_had_as_general use (was use of>
had as general use (was use of)
E70 <#_E70_Thing>Thing
E55 <#_E55_Type>Type
P103 <#_P103_was_intended_for (was intentio>
was intended for (was intention of)
E71 <#_E71_Man-Made_Thing>Human-Made Thing
E55 <#_E55_Type>Type
P125 <#_P125_used_object_of type (was type >
used object of type (was type of object used in)
E7 <#_E7_Activity>Activity
E55 <#_E55_Type>Type
/P33/ <#_P33_used_specific_technique (was us>//
/--used specific technique (was used by)/
/E11/ <#_E11_Modification>/Modification/
/E29/ <#_E29_Design_or_Procedure>/Design or Procedure/
P186
produced thing of product type (is produced by)
E12 <#_E12_Production>Production
E99 <#_E99_Product_Type>Product Type
P20 <#_P20_had_specific_purpose (was purpo>
had specific purpose (was purpose of)
E7 <#_E7_Activity>Activity
E5 <#_E7_Activity>Event
P21 <#_P21_had_general_purpose (was purpos>
had general purpose (was purpose of)
E7 <#_E7_Activity>Activity
E55 <#_E55_Type>Type
P16 <#_P16_used_specific_object (was used >
/-used specific object (was used for)/
/E7/ <#_E7_Activity>/Activity/
/E70/ <#_E70_Thing>/Thing/
P32 <#_P32_used_general_technique (was tec>
-used general technique (was technique of)
E7 <#_E7_Activity>Activity
E55 <#_E55_Type>Type
P108 <#_P108_has_produced_(was produced by)>
--has produced (was produced by)
E12 <#_E12_Production>Production
E24 <#_E24_Physical_Man-Made_Thing>Physical Human-Made Thing
These new FOL axioms:
P125(x,y) ⊃ ($z)[E70(z) ∧ P16(x,z) ∧ P2(z,y)]
P32((x,y) ⊃ ($z)[E29(z) ∧ P33(x,z) ∧ P2(z,y)]
P186(x,y) ⊃ ($z)[E24(z) ∧ P108(x,z) ∧ P2(z,y)]
P101(x,y) ⊃ ($z)[E7(z) ∧ P16(z,x) ∧ P2(z,y)]
Best,
Martin
--
------------------------------------
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/20200125/3236c41a/attachment-0001.html>
More information about the Crm-sig
mailing list