Throughout:
- FIXED "at some times" should be "at some time"

Fig 1:
 - FIXED "or"s should be "for"s
 - FIXED box in lower right should read "for which part exists" not "for which whole exists"

Section 3.2.2

 - FIXED axiom 3 should be -that-whole-exists, not -that-part-exists
 - FIXED says "none of the axioms are correct". This is false. Should say "none of the axioms are ideal" (some are valid but incomplete, some are false)
FIXED: name of relation; added inverseOfs between some-times forms
FIXED: name of relation; added inverseOfs between some-times forms
Reworked the introduction; added an untermediate subsection on the mismatch between OBOREL and OWL.

Modifications to section 2, making the usage of TRs, ARs, RRs and CLRs clearer