Formula Argument

Definition

Formula Argument. The Right Hand Side of the Formula.

This is modeled as one or more numerical parameters, and one or more constants. The constants are the simple fact "Constant" while the parameters are the target of the relationship fact "Operand". Note that it is not possible to model the argument mathematically. This model simply identifies what are the operands and constants that make up the argument, or right hand side, of the formula. Note also that any formula can be expressed with different parameters on the left and right hand sides; this model identifies and lists the elements on the right hand side of the formula when a given "Formulka Subject" makes up the left hand side of the formula, that is, semantically the formula relates a particular variable to a number of other variables and constants in an expression, and is not set up to be able to identify equivalent formule in which a different subject is the left hand side of that formula. If useful, an equivalence relationship could be defined between two such formula semantics. That is, the same formula may not have the same meaning and vice versa.

Disclaimer

This entry annotates a FIBO Ontology Class. FIBO is a trademark and the FIBO Ontology is copyright of the EDM Council, released under the MIT Open Source License. There is no guarantee that the content of this page will remain aligned with, or correctly interprets, the concepts covered by the FIBO ontology.