 | Class [owl:Class] |
 | Rational number = 'numerator' / 'denominator'. |
 | Thing |
 | cim:RationalNumber.numerator max 1 nonNegativeInteger |
|
| cim:RationalNumber.denominator max 1 nonNegativeInteger |
| References | |
|---|---|
| |
Generated with TopBraid Composer by TopQuadrant, Inc.