Sorry, I just realized that the second problem could be avoided by asserting that the instance of Role1 only exists during Phase1. Also, I meant to write instance_of, not is_a.
This example might work:
b instance_of Class1_during_Phase1 =def. b part_of_during_Phase1 c
b instance_of Class1_during_Phase2 =def. b part_of_during_Phase2 c
Is there a better way to represent that b is only an instance of Class1 during Phases 1 and 2?
> You received this message because you are subscribed to the Google Groups "BFO Discuss" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to bfo-discuss...@googlegroups.com
> To view this discussion on the web visit https://groups.google.com/d/msgid/bfo-discuss/16C52923-82F4-4BA6-A679-98C2A4E2E41C%40uni-bonn.de