Lative logic produces an enormous potential of applications using terminology, nomenclature and ontology, in particular in areas like health and social care. WHO-FIC and SNOMED classifications are logically lative, even if it is not recognized explicitly within their classification documents. In fact, the logic adopted by WHO and SNOMED is a very rudimentary logic based only on unstructured relations. The underlying sorts and operators of WHO's reference classifications ICD and ICF can be described using the three level arrangement of signatures. These reference classifications ICD and ICF then clearly appear in "dialogue", where this can be explained using signature morphisms between respective signatures in the category of signatures. Similar transformations can be made for the derived classifications as well as for the related classifications ICPC-2, ICECI, ISO9999, ATC/DDD and ICNP.

SNOMED leans on description logic for its SNOMED CT. This is a restricted logic in the sense that it is bivalent and untyped, as pointed out in Fuzzy terms.

See also Logic-Based Medicine (LBM).