interval contains
If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2.
inverseOf
interval contains
If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2.
type
comment
If a proper interval T1 is int ...... of T1 is after the end of T2.
@en
Si un intervalo propio T1 cont ...... está después del final de T2.
@es
domain
label
interval contains
@en
intervalo contiene
@es
range
inverseOf
definition
If a proper interval T1 is int ...... of T1 is after the end of T2.
@en
Si un intervalo propio T1 cont ...... está después del final de T2.
@es