zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

Possible need for never-rel temporal relation #175

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago
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 reported on code.google.com by alanruttenberg@gmail.com on 15 May 2013 at 10:38

GoogleCodeExporter commented 9 years ago
see if this is achievable with

x lack_part_at_all_times tail

(x and has_part_at_some_time some tail) equivalent nothing

Original comment by alanruttenberg@gmail.com on 5 Jun 2013 at 6:24