ONTOLOGY EXPLORER
has numerator
<https://www.omg.org/spec/Commons/QuantitiesAndUnits/hasNumerator>
プロパティと値
| プロパティ | 値 |
|---|---|
| type | ObjectProperty |
| label | "has numerator" |
| range | _:c14n1954 |
| subPropertyOf | hasArgument |
| definition | "specifies the quantity value that is the part of a fraction 'above the line' and signifies the value to be divided by the denominator" |
| note | "If a fraction is considered as an ordered pair, the numerator is the first argument of the fraction." |