_:b663970033 . _:b663970033 "Temporal region doesn't have a closure axiom because the subclasses don't exhaust all possibilites. An example would be the mereological sum of a temporal instant and a temporal interval that doesn't overlap the instant. In this case the resultant temporal region is neither 0-dimensional nor 1-dimensional"@en . _:b663970033 . _:b663970033 . _:b663970033 . _:b663970033 . _:b663970033 "per discussion with Barry Smith" . _:b663970033 .