Re: Defining cross products in OWL-1.1

>OWL does not permit an empty universe.

Right. For the record, neither does FOL or, indeed, almost any 
classically defined logic.

Pat
-- 
---------------------------------------------------------------------
IHMC		(850)434 8903 or (650)494 3973   home
40 South Alcaniz St.	(850)202 4416   office
Pensacola			(850)202 4440   fax
FL 32502			(850)291 0667    cell
phayesAT-SIGNihmc.us       http://www.ihmc.us/users/phayes

Received on Thursday, 22 November 2007 02:29:25 UTC