SUO: SUO-Kif variables question
An updated SUO-KIF syntax would answer my question I guess.
Does a SUO-KIF variable declaration allow a type constraint?
I want to say (forall (?i ?j (integer ?i) (integer ?j)) (sentence))
The BNF for SUO-KIF is simply:
variable ::= ?word
quantsent ::= (forall (variable+) sentence)
THE BNF for dpansi KIF is:
varspec ::= variable | (variable constant)
quantsent ::= (forall (varpsec+) sentence )
Every kif document emailed so far has had some error
in tyoe conformity or arity, so its important not to
drop the stronger version of typing in SUO-KIF
yy
Searching for the best free email? Try MetaCrawler Mail, from the #1 metasearch service on the Web, http://www.metacrawler.com