#    Hack daml_oil kiflike axioms
#
#
#
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

@prefix : <#> .       # For our use
@prefix v: <myvar#> .	# Hint for others use
@prefix ko: <kif-ops#> .

<> log:forAll :x, :y, :z.

# Hack for this one time use only: (really need axioms.n3 says ...{} implies ...

{ :x = :y } log:implies { :x a ko:Axiom } .