Relation-Argument Relations
fritz@rodin.wustl.edu (Fritz Lehmann)
Date: Mon, 17 May 93 14:43:15 CDT
From: fritz@rodin.wustl.edu (Fritz Lehmann)
Message-id: <9305171943.AA05819@rodin.wustl.edu>
To: cg@cs.umn.edu, interlingua@ISI.EDU
Subject: Relation-Argument Relations
I don't know how KIF allows discussion of the
(non-first-order) relations between a (first-
order) relation and its own arguments. FOPC
leaves these unmentionable, but this is a vital
topic in AI where there has been a great deal of
research into thematic ("case") relations between
an action-predicate and its participants
(arguments). It is also a prominent feature of
Jim Fulton's Semantic Unification Meta-Model
(SUMM). Can KIF's metaknowledge features handle
this?
Yours truly, Fritz Lehmann
25 Seton, Irvine, CA 92715 714-733-0566
===============================================