underlaps (OBO_REL_I:0000210)

Examples

    Other relations

    This relation has no inverse relations declared

    id OBO_REL_I:0000210
    name underlaps
    properties
    • reflexive
    • symmetric
    aliases
      anti_symmetric
      holds_between independent_continuant and independent_continuant
      reflexive true
      symmetric true
      transitive
      all_some_in_reference_context
      example

      Axioms for this relation:

      axiom

      Axioms that refer to this relation: