KB interchange standards

John McCarthy <jmc@sail.stanford.edu>
Date: Tue, 26 Nov 91 11:58:22 -0800
From: John McCarthy <jmc@sail.stanford.edu>
Message-id: <9111261958.AA09561@SAIL.Stanford.EDU>
To: ginsberg@t.stanford.edu, JFULTON@atc.boeing.com, TI@darpa.mil,
        friedland@ptolemy.arc.nasa.gov, interlingua@isi.edu,
        kr-advisory@isi.edu, neches@isi.edu, ohlander@isi.edu, ramesh@isi.edu
In-Reply-To: Gio Wiederhold's message of Tue, 26 Nov 91 14:34:36 EST <9111261934.AA16190@ next65.darpa.mil >
Subject: KB interchange standards
Reply-To: jmc@cs.stanford.edu
There may be a small difference.  In my proposal, the version names,
which may be the same as your ontological names can be attached
to any expression, e.g. after several versions had developed and
programs written in various versions and updated in others existed,
we could have such a monstrosity in KIF-1997 as

((KIF-1994 believes) Wiederhold ((KIF-1995 at) McCarthy (KIF-1993 Stanford))).

It would work, although someone with an urge to clean thingss up
might revise it to

(believes Wiederhold strongly (at McCarthy Stanford))

taking into account that KIF-1997 has an extra argument for believes.