some help on KIF

Hi

Can someone give me a hand with this KIF bit? I am posting this here even though the mailing list
might not be the correct one. But I figured that most logic experts would know what I am referring
to here.
This is part of the time ontology that can be found at http://ksl.stanford.edu/ontologies/time/. But
for some reason I am having trouble using it since there seems to be an error. Here is the
interested bit:

(Define-Okbc-Frame Week-Day-Of
    :Frame-Type :Slot
    :Direct-Types (Binary-Relation Relation Slot)
    :Own-Slots ((Range Calendar-Week-Day-Type)
		(Relation-Arity 2)
		(Domain Time-Point)
                (Documentation ""))
    :sentence (=> (and (Time-Point ?p) (Week-Day-Of ?p ?w))
                   (= (Week-Day-Number-Of ?w) (+ 1 (Mod (LINLT (Magnitude (Location-Of ?p) Day-Unit)
7)))))

and the error is the following:
line 67:17: unexpected token: =>
line 67:21: unexpected token: and
line 68:107: unexpected token: )


Any help is greatly appreciated,

Charlie

Received on Thursday, 8 January 2004 16:42:58 UTC