> What I said was that I don't know what the timestamp you mention would be: (01)
Sorry,
An instance in BFO has a timestamp.
For example:
In BFO, a Patient has a Quality of Elevated Temperature. (Capital
letter in the first letter means the Class) [in this statement, all in
class level, so there is no timestamp]
for instantiate :
1. Mary (instance of Patient) had a temperature measured as 100F at
16:43:00 2001/01/11
2. Mary (same instance in 1) had a temperature measured as 90F at
12:00:00 2001/01/12 (02)
I hope I make it clear for you. (03)
PS: I just know a little bit about logic. I have searched "IKL logic".
There is a slide of Pat on internet.
http://www.slideshare.net/PatHayes/ikl-presentation-for-ontolog (3
years ago) (04)
I hope our communication can talk more on ontology as someone
mentioned in another mail. (05)
Regards,
Asiyah (06)
On Fri, Feb 4, 2011 at 11:54 AM, Wacek Kusnierczyk <waku@xxxxxxxxxxx> wrote:
> On 2/4/11 10:19 AM, Yu Lin wrote:
>> Sorry.
>> To correct:
>> it seems that you denied that c1 as an instance has timestamp. But
>> not "it seems that you denied that c1 as an instance has no
>> timestamp."
>
> Can you point me to where I deny c1 as an instance has a timestamp?
>
> What I said was that I don't know what the timestamp you mention would be:
>
>>>> In BFO, I think, what is born is qualities. You're likely not suggesting
>>>> there are temporal stamp qualities born by continuants, right? However,
>I'm
>>>> not sure what you mean, precisely, with 'bears a temporal stamp'.
>
> vQ
>
> _________________________________________________________________
> Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
> Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
> Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
> Shared Files: http://ontolog.cim3.net/file/
> Community Wiki: http://ontolog.cim3.net/wiki/
> To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
> To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx
>
> (07)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Config Subscr: http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Unsubscribe: mailto:ontolog-forum-leave@xxxxxxxxxxxxxxxx
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To join: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (08)
|