x partially_overlaps y if and only if: x overlaps y and neither x is part_of y not y is part_of x

Examples

• [GAZ]

Other relations

This relation has no inverse relations declared

id	OBO_REL_I:0000202
name	partially_overlaps
properties
aliases
anti_symmetric
holds_between	independent_continuant and independent_continuant
reflexive
symmetric
transitive
all_some_in_reference_context
example	[GAZ]
subrelation	overlaps
text_definition	x partially_overlaps y if and only if: x overlaps y and neither x is part_of y not y is part_of x

Axioms for this relation:

axiom

partially_overlaps( x, y) ↔ overlaps( x, y) ∧ ¬ ( part_of( x, y) ) ∧ ¬ ( part_of( y, x) )

Axioms that refer to this relation: