BFO

BFO copied to clipboard

definitions of the continuant part of at some time property and at is at all time subproperty looks circular

1

b continuant part of c at some time =Def for some time t (b exists at t and c exists at t and b **continuant part of** c at t...

kbserm

Proposal: Normalized BFO

8

BFO has many advantages, providing a standard for aligning upper levels across different ontologies, but current usage suffers some issues: 1. classes very abstract and do not correspond to things...

cmungall

Bear vs. Inhere

2

The uses of the terms 'bear' and 'inhere' and their synonymity in BFO are not consistent with their natural language definitions. The term 'bear' has a common definition of 'carry'...

schneidert

ask for the replacement of BFO_0000178

5

Dear BFO, It seems BFO_0000178 is no longer existing now. http://purl.obolibrary.org/obo/BFO_0000178 Could you recommend a replacement for it? We used it for the relationship of a protein complex to protein....

leonqli

How can we model the proportion of components in compound sustance. Say a rock that is composed of X% of mineral 1 and Y% of mineral 2...

arademaker

The annotation 'definition source' (IAO_0000119) appears to be used sporadically in the file. It would be nice if there were some reference for every resource, even if it is often...

neilotte

There's an `obo:IAO_0000116` (editor note) annotation axiom on `obo:BFO_0000001` (entity) that says `rdfs:seeAlso` http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf. That link appears to be malformed or broken. Use http://www.referent-tracking.com/RTU/files/CeustersICbookRevised/1.0/CeustersICbookRevised.pdf instead? (This is a paraphrase of...

turbomam

Add elucidation for has_material_basis where domain is a function to BFO2 reference

4

The current examples in 3.7.8 are all for 'plain' dispositions. It would help to have elucidations for functions. The disposition examples involve a material entity that is causally upstream. E.g....

cmungall

has_material_basis

5

_From [[email protected]](https://code.google.com/u/115850439786749293234/) on July 17, 2012 01:04:20_ ref states: # ELUCIDATION: a has_material_basis b at t means: a is a disposition & b is a material entity & there is...

zhengj2007

Issues with Generic Dependence in BFO 2.0

1

I have noticed some peculiarities with the way generic dependence is implemented in the BFO 2.0 specification that I would just like to note here. On p. 25 of the...

msinclair2