W3C home > Mailing lists > Public > www-rdf-logic@w3.org > January 2004

some help on KIF

From: Charlie Abela <abcharl@keyworld.net>
Date: Thu, 8 Jan 2004 22:41:27 +0100
To: <www-rdf-logic@w3.org>
Message-ID: <OBEOLJNEPKKHAJJIGKDKGEMBCHAA.abcharl@keyworld.net>


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)

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,

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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:41 UTC