_:b666093066 . _:b666093066 . _:b666093066 "per discussion with Barry Smith" . _:b666093066 . _:b666093066 . _:b666093066 . _:b666093066 "Entity doesn't have a closure axiom because the subclasses don't necessarily exhaust all possibilites. For example Werner Ceusters 'portions of reality' include 4 sorts, entities (as BFO construes them), universals, configurations, and relations. It is an open question as to whether entities as construed in BFO will at some point also include these other portions of reality. See, for example, 'How to track absolutely everything' at http://www.referent-tracking.com/_RTU/papers/CeustersICbookRevised.pdf"@en . _:b666093066 .