>
>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
Subscribe/Unsubscribe/Config:
http://colab.cim3.net/mailman/listinfo/ontac-forum/
Shared Files: http://colab.cim3.net/file/work/SICoP/ontac/
Community Wiki:
http://colab.cim3.net/cgi-bin/wiki.pl?SICoP/OntologyTaxonomyCoordinatingWG (015)
|