Closed balhoff closed 1 year ago
Some additional rules related to #630:
'causally upstream of'(?p, ?q), 'causally upstream of'(?q, ?u) -> 'indirectly causally upstream of'(?p, ?u)
'indirectly causally upstream of'(?p, ?q), regulates(?p, ?q) -> 'indirectly regulates'(?p, ?q)
Some additional rules related to #630:
'causally upstream of'(?p, ?q), 'causally upstream of'(?q, ?u) -> 'indirectly causally upstream of'(?p, ?u)
'indirectly causally upstream of'(?p, ?q), regulates(?p, ?q) -> 'indirectly regulates'(?p, ?q)