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
===============================================