[Crm-sig] NEW ISSUE FOL for properties with range type

[Martin Doerr]

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>