Formal & Taxonomic

GL Formal quale — encodes the relation between an entity and the concept(s) that classify or taxonomically subsume it. These are the foundational is-a and instance-of relations of any knowledge representation system.

fnbr:subtype_of

The relation between a more specific concept and a more general one. Foundational taxonomic relation; the GL Formal quale.

• DUL parents: dul:specializes · dul:subsumption
• Domain: SubConcept
• Range: SuperConcept

fnbr:instance_of

The relation between an individual entity and a concept that classifies it. The classificatory complement of subtype_of.

• DUL parents: dul:is_classified_by
• Domain: Individual
• Range: Concept

fnbr:typical_of

An entity is a typical, prototypical, or stereotypical instance of a concept.

• DUL parents: dul:is_classified_by
• Domain: Exemplar
• Range: Concept