fasciculates with
(forall (?x ?y)
(iff
(fasciculates_with ?x ?y)
(exists (?nps ?npbs)
(and
("neuron ; CL_0000540" ?x)
("neuron projection bundle ; CARO_0001001" ?y)
("neuron projection segment ; CARO_0001502" ?nps)
("neuron projection bundle segment ; CARO_0001500' " ?npbs)
(part_of ?npbs ?y)
(part_of ?nps ?x)
(part_of ?nps ?npbs)
(forall (?npbss)
(if
(and
("neuron projection bundle subsegment ; CARO_0001501" ?npbss)
(part_of ?npbss ?npbs)
)
(overlaps ?nps ?npbss)
))))))
fasciculates with
David Osumi-Sutherland
relationship between a neuron and a neuron projection bundle (e.g.- tract or nerve bundle) that one or more of its projections travels through.
overlaps
has fasciculating neuron projection
neuron projection bundle
neuron
pending final vetting
axiom holds for all times