part_of implies located_in
Opened this issue · 1 comments
alanruttenberg commented
I think I forgot that - need to fix it in the specification.
zhengj2007 commented
@alanruttenberg
I would like to confirm that you mean to remove following sentences from the specification:
"For all independent continuants a and b, parthood implies location.
AXIOM: if b continuant_part_of c at t and b is an independent continuant, then b is located_in c at t. [047-002]"
If so, I will do it.