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

KIF Re: Basic terminology

John et al,

Attached is a PDF file giving a table with the various syntactic and
semantic components of 1st order logic.

Robert E. Kent
rekent@ontologos.org

----- Original Message -----
From: "John F. Sowa" <sowa@bestweb.net>
To: <standard-upper-ontology@ieee.org>
Sent: Wednesday, November 29, 2000 8:13 AM
Subject: SUO: Basic terminology
...

> John Sowa

Components of Logic - 1st Order.pdf