The "has associated axiom(FOL)" annotations numbers 117-002 and 116-001 refer
to "proper temporal part of" but are annotations of "temporal part of".
Meanwhile, there is no annotations to elucidate the meaning of "proper temporal
part of". Is this intended or are those annotations misplaced?
Original issue reported on code.google.com by andrade....@gmail.com on 3 Aug 2012 at 9:37
Original issue reported on code.google.com by
andrade....@gmail.com
on 3 Aug 2012 at 9:37