ontac-dev
[Top] [All Lists]

RE: [ontac-dev] Type vs. Class -- Please vote

To: ONTAC Taxonomy-Ontology Development Discussion <ontac-dev@xxxxxxxxxxxxxx>
From: "Smith, Barry" <phismith@xxxxxxxxxxx>
Date: Mon, 23 Jan 2006 17:11:41 +0100
Message-id: <7.0.1.0.2.20060123170942.0489c2a0@xxxxxxxxxxx>
We need to time-index the part-of relation for continuants (e.g. 
objects), because the latter can have different parts at different 
times. 'This molecule is part of Michael West's nose' is not 
determinately true or false; it becomes determinately true or false 
when we add a time-index to the whole assertion.    (01)

There is nothing analogous in the realm of properties: 'This missile 
movement is part of the Second World War' is determinately true, or 
false, independently of when it is asserted.    (02)

BS    (03)

At 05:03 PM 1/23/2006, you wrote:    (04)

>Some comments below concerning the discussion about parts of objects,
>processes, etc.
>
>Original comments below by Barry Smith:
>-----ontac-dev-bounces@xxxxxxxxxxxxxx wrote: -----
> >The details are supplied in full in:
> >
> >  http://ontology.buffalo.edu/smith/articles/SNAP_SPAN.pdf
> >
> >Basically, all instance-level x part_of y
> >assertions for 3D objects are indexed by times.
> >This is not necessary for 4D objects, since
> >processes do not gain and lose parts over time.
>
>My comment here, is concerning processes.  I can envision a 4D object
>(process) having component parts (sub-processes?).  In that case, should we
>not also concerning indexing x part_of y (where y is a process) also by
>time?  The alternative seems to suggest that all processes (and
>sub-processes) are without time boundary.
>
>Chuck Turnitsa
>
>
>_________________________________________________________________
>Message Archives: http://colab.cim3.net/forum/ontac-dev/
>To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
>Subscribe/Unsubscribe/Config: 
>http://colab.cim3.net/mailman/listinfo/ontac-dev/
>Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
>Community Wiki: 
>http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (05)



_________________________________________________________________
Message Archives: http://colab.cim3.net/forum/ontac-dev/
To Post: mailto:ontac-dev@xxxxxxxxxxxxxx
Subscribe/Unsubscribe/Config: http://colab.cim3.net/mailman/listinfo/ontac-dev/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki: 
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG    (06)
<Prev in Thread] Current Thread [Next in Thread>