isDerivationInFirstArgument

P149152 predicate

Indicates that the first argument is a derivation (e.g., a derived form, result, or inference) of the second argument.

Sample triples (1)

Subject Object
Poisson bracket true