| K-301 | Recognises contradicting data rules | Oskus |
| K-302 | Recognises a data rule no valid data can satisfy | Oskus |
| K-303 | Recognises redundant data rules | Oskus |
| K-304 | Recognises a data rule implied by another | Oskus |
| K-305 | Recognises overlapping value-set rules on one fact type | Oskus |
| K-306 | Recognises circular derivation rules | Oskus |
| K-307 | Recognises a fact type with clashing modalities | Oskus |
| K-308 | Recognises one relationship stated as two fact types | Oskus |
| K-309 | Recognises a gap in a partition of cases | Oskus |
| K-310 | Recognises a constraint claimed by a rule and missing from the schema | Oskus |
| K-311 | Recognises a uniqueness rule with no unique key behind it | Oskus |
| K-312 | Recognises a rule assigned to a missing data quality check | Oskus |
| K-313 | Recognises a declared constraint the target platform does not enforce | Oskus |
| K-314 | Recognises a data-update rule with no enforcing or detecting mechanism | Oskus |
| K-315 | Recognises an activity or party rule claimed as a data rule | Oskus |
| K-316 | Recognises an ambiguous pronoun in a rule statement | Oskus |
| K-317 | Recognises mixed and-or without precedence in a rule | Oskus |
| K-318 | Recognises a cardinality rule stated from one end only | Oskus |
| K-319 | Recognises a definitional rule filed as operative | Oskus |
| K-320 | Recognises an operative rule filed as definitional | Oskus |
| K-351 | Explains SBVR fact types and rule statements | Teadmine |
| K-352 | Explains alethic and deontic modality of rules | Teadmine |
| K-353 | Explains logical relations between rules | Teadmine |
| K-354 | Explains derivation rules and their dependencies | Teadmine |
| K-355 | Explains Witt's classification of business rules | Teadmine |
| K-356 | Explains rule enforcement mechanisms and platform enforcement | Teadmine |
| K-358 | Explains partitions of a concept into cases | Teadmine |
| K-337 | Resolves contradicting rules by adding the missing condition | Oskus |