BFO

BFO copied to clipboard

Entities with multiple definitions

1

_From [[email protected]](https://code.google.com/u/102674886352087815907/) on November 02, 2012 22:05:26_ A number of entities in BFO2 have multiple definitions associated with them. e.g: 'specifically dependent continuant' ( http://purl.obolibrary.org/obo/BFO_0000020 ) 'proper part of occurrent'...

zhengj2007

_From [[email protected]](https://code.google.com/u/[email protected]/) on September 24, 2012 12:35:07_ Karen Ross: What I would like to do instead is say that a particular modification occurs during a particular cell cycle stage (or...

zhengj2007

Restriction on history too loose

1

_From [[email protected]](https://code.google.com/u/[email protected]/) on August 28, 2012 22:47:58_ Change to history of some material entity. Also narrow domain of history of to be history rather than the looser process. Reported by...

zhengj2007

_From [[email protected]](https://code.google.com/u/116795168307825520406/) on August 15, 2012 16:52:57_ I recently received an email from somebody looking for information about IAO, and saying that there was no definition editor in the term...

zhengj2007

function relations not children of disposition relations

2

_From [[email protected]](https://code.google.com/u/[email protected]/) on August 13, 2012 10:45:44_ If f 'function of at all times' some x, then f 'disposition of at all times' some x. Should the relation hierarchy in...

zhengj2007

'has disposition at all times' only has one parent

3

_From [[email protected]](https://code.google.com/u/[email protected]/) on August 13, 2012 10:44:16_ I think if x 'has disposition at all times' (quantifier) d, x 'has disposition at some time' (quantifier) d. _Original issue: http://code.google.com/p/bfo/issues/detail?id=120_

zhengj2007

Annotation - proper temporal part

1

_From [[email protected]](https://code.google.com/u/101116636393106972886/) on August 03, 2012 05:37:02_ The "has associated axiom(FOL)" annotations numbers 117-002 and 116-001 refer to "proper temporal part of" but are annotations of "temporal part of". Meanwhile,...

zhengj2007

Distinction between exists-at and occupies-temporal-region is unclear

1

_From [[email protected]](https://code.google.com/u/114346389741287394415/) on July 25, 2012 10:56:53_ Barry says the difference is that occupies-temporal-region is maximal extent, where as exists-at doesn't have that property. Needs to get added to documentation....

zhengj2007

Axiom PURLs are broken

1

_From [[email protected]](https://code.google.com/u/114346389741287394415/) on July 24, 2012 08:46:19_ Reproduce, e.g. by http://purl.obolibrary.org/obo/bfo/axiom/566 _Original issue: http://code.google.com/p/bfo/issues/detail?id=115_

zhengj2007

Nothing

2

_From [[email protected]](https://code.google.com/u/[email protected]/) on July 18, 2012 11:36:41_ Please elaborate on the issue here. 'specifically depends on at some time' only Nothing _Original issue: http://code.google.com/p/bfo/issues/detail?id=114_

zhengj2007