Figure 1

Relations between instances of the classes in the pathological structure–disposition–process triple. All classes and relations are in the namespace bt:. Thick continuous lines represent existentially quantified relations for all instances of the originating class (e.g. all instances of PathologicalDisposition inhereIn SOME instance of PathologicalStructure). The dotted line stands for a universally quantified relation (value restriction) for all instances of PathologicalDisposition (e.g. all instances of PathologicalDisposition hasRealization ONLY in instances of class PathologicalProcess iff they have at least one relation of that type). The thin continuous lines represent relations that hold existentially for certain subclasses of these classes (e.g. all instances of the class InfarctOfMyocardStructure participantOf SOME instance of MyocardialInfarctionProcess).