examples/SUMO/TPTP/MergePredAx.p


1
2
3
4
5
6
7
8
9
10
11
12

fof(axMergeP0, axiom, 
 f_MeasureFn(0,inst_AngularDegree) = f_MeasureFn(360,inst_AngularDegree)).

fof(axMergeP1, axiom, 
 f_typicalPart(type_VocalCords,type_Human)).

fof(axMergeP2, axiom, 
 f_typicallyContainsPart(type_VocalCords,type_Human)).

fof(axMergeP3, axiom, 
 f_initialPart(type_VocalCords,type_Human)).