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

Re: SUO: KIF syntax and semantics and a basic ontology


I wrote:
> ;; * The instance-of predicate, while perhaps heuristically desirable,
> ;;   is dispensable in favor of standard predicate/argument notation:
> ;;   "(instance-of P t)" is equivalent simply to "(P t)".

That last line, of course, should be:

;;   "(instance-of t P)" is equivalent simply to "(P t)".

-chris