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
BFO 2 Reference: In all areas of empirical inquiry we encounter general terms of two sorts. First are general terms which refer to universals or types:animaltuberculosissurgical procedurediseaseSecond, are general terms used to refer to groups of entities which instantiate a given universal but do not correspond to the extension of any subuniversal of that universal because there is nothing intrinsic to the entities in question by virtue of which they – and only they – are counted as belonging to the given group. Examples are: animal purchased by the Emperortuberculosis diagnosed on a Wednesdaysurgical procedure performed on a patient from Stockholmperson identified as candidate for clinical trial #2056-555person who is signatory of Form 656-PPVpainting by Leonardo da VinciSuch terms, which represent what are called ‘specializations’ in [81
obo_purl:IAO_0000600
An entity is anything that exists or has existed or will exist. (axiom label in BFO2 Reference: [001-001])
Sign in to MatPortal and configure your own usable provider credentials or supported Codex or Gemini Antigravity account before sending an Assistant request.
Page Context:
Current Page
Loading context...
How to use this Assistant
Choose a quick action or type a custom question in the input box below.
The "Page Context" card above displays the active page metadata that is forwarded to the AI.
For SPARQL, you can click the "Insert into SPARQL Editor" button on code blocks to automatically load queries into the editor.
All actions are strictly proposal-only; the assistant will never perform writes or mutations on your behalf.
How can I help you on this page? Choose a quick action or type a question below.