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

Re: SUO: Re: ontology as science

To: IEEE Standard Upper Ontology List <standard-upper-ontology@ieee.org>
Subject: Re: SUO: Re: ontology as science
From: Chris Menzel <cmenzel@tamu.edu>
Date: Thu, 19 Jun 2003 12:39:15 -0500
In-Reply-To: <20030619162426.GN23984@tamu.edu>
References: <9B380E0FEF2D3149B5F02D7609352C360714DC@ch1ex1.pdit.int> <20030619162426.GN23984@tamu.edu>
Reply-To: Chris Menzel <cmenzel@tamu.edu>
Sender: owner-standard-upper-ontology@majordomo.ieee.org
User-Agent: Mutt/1.3.25i


On Thu, Jun 19, 2003 at 11:24:26AM -0500, Chris Menzel wrote:
> > but then I'm left questioning what is a "tree" and what isn't, 
> 
> But we have very good ways of answering that question.  Ask a botonist

Oops, forgot my axiom for "botonist": 

  (forall (?x) (iff (botonist ?x) (botanist ?x)))

;-)

-chris

References:
- RE: ontology as science (was: Re: SUO: Re: (ELP's summary of MRW's standards experience))
  - From: "Burkett, Bill" <WBurkett@modulant.com>
- SUO: Re: ontology as science
  - From: Chris Menzel <cmenzel@tamu.edu>

Prev by Date: SUO: Cyc
Next by Date: SUO: RE: ontology as science
Prev by thread: SUO: Re: ontology as science
Next by thread: SUO: Re: ontology as science
Index(es):
- Date
- Thread