[Top] [All Lists]

Re: [ontac-forum] Re: The world may fundamentally be inexplicable

To: ONTAC-WG General Discussion <ontac-forum@xxxxxxxxxxxxxx>
From: "Smith, Barry" <phismith@xxxxxxxxxxx>
Date: Wed, 11 Jan 2006 23:12:59 +0100
Message-id: <>

>How do you express:
>                      "Fido is a dog."    (01)

Fido instance_of dog    (02)

'Fido' names an independent continuant (particular)
'dog' names a type (universal, kind ...)    (03)

>                      "All dogs are animals."    (04)

for all x, if x instance_of dog then x instance_of animal    (05)

for short:
dog is_a animal    (06)

>                      "Dog is a ..."  (if that's even allowed)    (07)

In BFO we pass over the issue of second-order universals for the 
immediate future.    (08)

Some more:
                 Fido is sleeping    (09)

There is some x, Fido agent_of x and x instance_of sleeping event 
(occurrent particular)    (010)

                 sleeping is a process    (011)

sleeping is_a process (occurrent)    (012)

For more see http://genomebiology.com/2005/6/5/R46    (013)

BS                   (014)

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