I always look it up on Google. I regularly run into this kind of problem when looking at log files which use AM/PM time. Related question: How do you even say "14:00" in English? In school I learned that you say o'clock but I never heard that in real life.