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

Re: SUO: Where are the axioms that establish the condition of a class ?

To: "Seth Russell" <seth@robustai.net>, "Ian Niles" <iniles@teknowledge.com>, <standard-upper-ontology@ieee.org>
Subject: Re: SUO: Where are the axioms that establish the condition of a class ?
From: "Seth Russell" <seth@robustai.net>
Date: Sat, 19 Jan 2002 13:19:02 -0800
References: <EE25484266A64A47AE06CFC47C64232BA4FD27@helium.teknowledge.com> <002801c1a11c$45eb76a0$657ba8c0@c1457248a.sttls1.wa.home.com>
Reply-To: "Seth Russell" <seth@robustai.net>
Sender: owner-standard-upper-ontology@majordomo.ieee.org


PS:   Well a formula is not a class, a class is not a formula, right?

Another reason this is true is that (subclass Class Abstract) and
(subclass Formula Physical) and (disjoint Abstract Physical).

So the formula "(IntersectionFn (ComplementFn MarriedPeople) MalePeople)" is
a Physical thing which is the intension of the abstract class called
"Bachalors".

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

Seth Russell

References:
- RE: SUO: Where are the axioms that establish the condition of a class ?
  - From: Ian Niles <iniles@teknowledge.com>
- Re: SUO: Where are the axioms that establish the condition of a class ?
  - From: "Seth Russell" <seth@robustai.net>

Prev by Date: SUO: *Date 20 Jan 2002
Next by Date: Re: SUO: Where are the axioms that establish the condition of a class ?
Prev by thread: Re: SUO: Where are the axioms that establish the condition of a class ?
Next by thread: SUO: RE: IFF Updates 2002-Jan-02, Comments Requested
Index(es):
- Date
- Thread