Compound Equivalence
10034307-10034303-1003695010034354-10039923-1003434910034355-10040080-1003434910034398-10034399-1003440010034413-10034416-1003441210034425-10034428-1003441910034432-10034431-1003445710034433-10034443-1003443110034434-10034443-1003443110034435-10034457-1003443110034436-10034399-1003443110034491-10034489-1003490110034492-10046354-1003448910034493-10034489-1004311810034518-10034514-1004026410034519-10034764-1003451410034583-10034582-1003458810034584-10034582-1003459710034585-10034582-1003459410034628-10043757-1003462210034629-10047174-1003462210034630-10047174-1003462210034641-10034642-1003464310034646-10034647-1003464210034666-10034664-1003453110034682-10034693-1003467710034682-10034694-1003467710034697-10034698-1003469910034721-10034530-1003471910034738-10034315-1003473610034741-10034547-1003454310034744-10034547-1003474510034774-10034775-1003477610034779-10034547-1003478010034792-10034547-1003479310034800-10034801-1003454710034816-10034815-1006206310034817-10034820-1003481510034831-10034834-1003482510034845-10034775-10044595
type
Compound Equivalence
isDefinedBy
label
Compound Equivalence
@en
subClassOf
definition
A compound equivalence between ...... d UF+ relations between terms.
@en