ICD-11 BFO ontology
Select a class to see its BFO anchor, definition, superclasses and subclasses, and its OWL restrictions. Classes marked ⊥ are unsatisfiable: the reasoner proves they can have no instances. Use the tabs to browse by BFO category, search the full ontology, or read the coherence view.