Issue 465: FOL for properties with range type

ID: 
465
Starting Date: 
2020-01-25
Working Group: 
3
Status: 
Open
Background: 

Posted by Martin on 25/1/2020

Dear All,

I propose for

 

P101


had as general use (was use of)

E70 Thing

E55 Type

P103

was intended for (was intention of)

E71 Human-Made Thing

E55 Type

P125


used object of type (was type of object used in)

E7 Activity

E55 Type

P33

   -   -   used specific technique (was used by)

E11 Modification

E29 Design or Procedure


P186


produced thing of product type (is produced by)


E12 Production


E99 Product Type


P20

had specific purpose (was purpose of)

E7 Activity

E5 Event

P21

had general purpose (was purpose of)

E7 Activity


E55 Type

P16

   -   used specific object (was used for)

E7 Activity

E70 Thing

P32

   -   used general technique (was technique of)

E7 Activity

E55 Type

P108

   -  -    has produced (was produced by)

E12 Production

E24 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)]