Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: SUO: Re: ONT Intension & Extension


From: "John F. Sowa" <sowa@bestweb.net>

> But whatever term you use, "intension" or "comprehension", it is
> most definitely true that the intension or comprehension of the
> definition implies the extension of the set of instances.

Ok.  And since, from the point of view of a running computer application
using SUMO, the only thing that can imply anything is a KIF Formula, then an
intension [criteria, comprehension, (inverse KappaFn)  .. whatever]  must
necessarily be a KIF Formula.   Don't you think?

http://robustai.net/mentography/bachalors.gif

Seth Russell