search

zhengj2007 / bfo-trunk

0 stars 0 forks source link

Possible need for never-rel temporal relation #174

Open zhengj2007 opened 9 years ago

zhengj2007 commented 9 years ago

From alanruttenberg@gmail.com 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 commented 9 years ago

From alanruttenberg@gmail.com 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