Possible need for never-rel temporal relation

[zhengj2007]

From [email protected] on May 15, 2013 06:38:08

Prove whether or not there is an expression that amounts to an entity not having a part of some type. TR-safe lacks-part. If not add another relation to compensate

Original issue: http://code.google.com/p/bfo/issues/detail?id=175

[zhengj2007]

From [email protected] on June 05, 2013 11:24:22

see if this is achievable with

x lack_part_at_all_times tail

(x and has_part_at_some_time some tail) equivalent nothing