Axioms 060-001, 059-002 conflict
Closed this issue · 1 comments
From alanruttenberg@gmail.com on June 28, 2012 11:39:41
Please elaborate on the issue here. ELUCIDATION: to say that a realizes b at t is to assert that
there is some material entity c
& a is a process in which has participant c at temporal interval t
& b is a disposition or role of which c is bearer at t
& the type instantiated by a is correlated with the type instantiated by b. [059-002]
DOMAIN: process
RANGE: realizable entity
AXIOM: All realizable dependent continuants have material entities or sites as their bearers. [060-001]
The first insists that bearers are material entities.
The second that bearers are either material entities or sites.
Original issue: http://code.google.com/p/bfo/issues/detail?id=75
From alanruttenberg@gmail.com on July 10, 2012 10:30:20
Fixed, reference says bearers are idc but not s-regions
Status: Fixed-in-reference