5.2 Top-Level Ontology
77
Fig. 5.3
Selected traditional (top) and generalized (bottom) modal squares of opposition from VIPRS. Here,
occ[I
] stands for “I occurs”, and K
I C I
stands
for “K
I conceptualizes I
”, arrows denote subsumption and solid lines denote complementarity (top) and logical negation with respect to the modal formula
(bottom)