SNOMED CT's relational statements are basically triplets of the form Concept1 – Relationx – Concept2, with Relationx being from a small number of relation types (called linkage concepts), e.g. finding site, due to, etc. The interpretation of these triplets is (implicitly) based on the semantics of a simple Description logic (DL). E.g., the triplet Common Cold – causative agent – Virus, corresponds to the first-order expression
