|
Relationships
|
|
|
|
| Parents |
InheritableRelation |
The class of Relations whose properties can be inherited downward in the class hierarchy via the subrelation Predicate.
|
| |
関係 |
The Class of relations. There are two kinds of Relation: Predicate and Function. Predicates and Functions both denote sets of ordered n-tuples. The difference between these two Classes is that Predicates cover formula-forming operators, while Functions cover term-forming operators.
|
| Children |
半順序関係 | A BinaryRelation is a partial ordering if it is a ReflexiveRelation, an AntisymmetricRelation, and a TransitiveRelation. |
| | UnitOfMeasureMultiplier | Each instance of this Class is a UnaryFunction that, when evaluated on its single argument, a UnitOfMeasure, produces another UnitOfMeasure that is a numeric multiple of the argument. |
| Instances | AbsoluteValueFn | (AbsoluteValueFn ?NUMBER) の値は RealNumber ?NUMBER の絶対値である。 |
| | AccelerationFn | Specifies the acceleration of an object, i.e. the change in speed for a given direction. |
| | AdditionFn | ?NUMBER1 と ?NUMBER2 が Number の場合、 (AdditionFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術合計である。 |
| | ancestor | The transitive closure of the parent predicate. (ancestor ?DESCENDANT ?ANCESTOR) means that ?ANCESTOR is either the parent of ?DESCENDANT or the parent of the parent of DESCENDANT or etc. |
| | angularMeasure | (angularMeasure ?ANGLE ?MEASURE) means that the two-dimensional geometric angle ?ANGLE has ?MEASURE. |
| | approximateDiameter | The diameter of an object if it were a perfect sphere of the same volume |
| | ArcCosineFn | The inverse of CosineFn. |
| | ArcSineFn | The inverse of SineFn. |
| | ArcTangentFn | The inverse of TangentFn. |
| | attribute | (attribute ?OBJECT ?PROPERTY) とは、 ?PROPERTY が、?OBJECTの Attribute という意味である。 例：(attribute MyLittleRedWagon Red)。 |
| | BeginFn | UnaryFunction は TimeInterval を 間隔が開始され る TimePoint にマップする。 |
| | BeginNodeFn | UnaryFunction は、GraphPath を GraphPath の先頭である GraphNode にマップする。 注：InitialNodeFn (GraphArc と GraphNode を関 連付ける) とは異なり、BeginNodeFn は完全な関数であり、すべての GraphPath には始まりがある。 |
| | CeilingFn | (CeilingFn ?NUMBER) は、RealNumber ?NUMBER より最大以上以上の最小 Integer を返す。 |
| | CenterOfCircleFn | (CenterOfCircleFn ?CIRCLE)は、Circle ?CIRCLEの中心である GeometricPoint を示す。 |
| | changesLocation | (changesLocation ?EVENT ?OBJECT) は、 Translocation イベント ?EVENT の最中に ?OBJECT's 位置が変更されたことを意味する。?OBJECT は、 ?EVENT の patient、experiencer、または experiencer でもある可能性がある。 |
| | ComplementFn | 指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass C の補数のインスタンスである。 |
| | conclusion | (conclusion ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is the conclusion explicitly drawn from the Argument ?ARGUMENT. Note that it may or may not be the case that ?ARGUMENT entails ?PROPOSITION. |
| | contestParticipant | (contestParticipant ?CONTEST ?AGENT) means that ?AGENT is one of the sides in the Contest ?CONTEST. For example, if the ?CONTEST is a football game, then ?AGENT would be one of the opposing teams. For another example, if ?CONTEST is a Battle, then ?AGENT would be one of the sides fighting each other. |
| | CosineFn | (CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。 |
| | DenominatorFn | (DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。 |
| | DensityFn | DensityFn は、MassMeasure のインスタンスと VolumeMeasure のインスタンスを、この質量と体積の比率で表される密度にマップする。 例： (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) は、1リットル当たり3グラムの密度 を表す。 |
| | DiameterFn | (DiameterFn ?CIRCLE) denotes the length of the diameter of the Circle ?CIRCLE. |
| | diameter | (diameter ?CIRCLE ?LENGTH) とは、Circle ?CIRCLEの直径が ?LENGTH の長さを有することを意味する。 |
| | distance | (distance ?OBJ1 ?OBJ2 ?QUANT) とは、２つのオブ ジェクト ?OBJ1と ?OBJ2の間の最短距離が ?QUANであることを意味する。注：述語 length と distance の違いは、length が単一のオブジェクトの次元の１つの LengthMeasure を表すために使用され、 distance は２つの異なるオブジェクトを区切る LengthMeasure を示すために使用される点である。 |
| | duration | (duration ?POS ?TIME) とは、TimePosition ?POS の持続時間が ?TIME という意味である。 注：この Predicate は、Function WhenFn と組み合わせ て使用し、Predicate の任意のインスタンスの継続時間を指定できる。 |
| | earlier | (earlier ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL2 が開始される前に TimeInterval ?INTERVAL1 が終了することを意味する。 |
| | electronNumber | (electronNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Electrons ?NUMBER. |
| | EndFn | UnaryFunction は、TimeInterval を間隔が終了する TimePoint にマップする。 |
| | EndNodeFn | UnaryFunction は、GraphPath を GraphPath の 終わりである GraphNode にマップする。 注：TerminalNodeFn(GraphArc を GraphNode に関 連する)とは異なり、EndNodeFn は合計関数であり、すべての GraphPath には終わりがある。 |
| | eventLocated | (eventLocated ?PROC ?OBJ) とは、Process ?PROC 全体が Object ?OBJ 上に配置され、?PROC のすべての subProcess が ?OBJ上に配置されるこ とを意味する。 |
| | ExponentiationFn | (ExponentiationFn ?NUMBER ?INT) は、 RealNumber ?NUMBER の Integer ?INT 乗を返す。 |
| | finishes | (finishes ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2が両方とも同じ末な TimePoint を持つ TimeInterval であり、?INTERVAL2 が ?INTERVAL1より前に開始することを意味する。 |
| | FloorFn | (FloorFn ?NUMBER) は、 RealNumber ?NUMBER 以下 の最大 Integer を返す。 |
| | FutureFn | UnaryFunction は、PositiveInfinity で満たして 終了する TimePosition をマップする。 |
| | GeneralizedIntersectionFn | UnaryFunction は、Class の %SetOrClass を単一の引数として受け取り、元の %SetOrClass の内のすべての %SetOrClass の交点であ る %SetOrClass を返す。 すなわち、%SetOrClass は元の %SetOrClass のすべてのインスタンスのインス タンスであるインスタンスだけを含む。 |
| | GeneralizedUnionFn | A UnaryFunction は、Classes の SetOrClas を単一の引数として受け取り、元の SetOrClass 内のすべての Class のマージである Classes を返す。 すなわち、SetOrClass は、元の SetOrClass のインスタンスのインスタンスで あるインスタンスだけを含む。 |
| | geometricDistance | (geometricDistance ?POINT1 ?POINT2 ?LENGTH) means that ?LENGTH is the distance between the two GeometricPoints ?POINT1 and ?POINT2. |
| | graphPart | Graph とそのパーツの基本的な関係。(graphPart ?PART ?GRAPH) とは、?PARTが Graph ?GRAPH の GraphArc または GraphNode であることを 意味する。 |
| | GraphPathFn | BinaryFunctionは、2つの GraphNode をこれ らの2つのノード間の GraphPath の Class にマップする。 注：2つの GraphNode は同じ Graph に属している必要がある。 |
| | greaterThan | (greaterThan ?NUMBER1 ?NUMBER2) は、Quantity ?NUMBER1 が Quantity ?NUMBER2よりも大きい場合に当てはまる。 |
| | ImaginaryPartFn | (ImaginaryPartFn ?NUMBER) は、-1 の平方 根を持つ ?NUMBER の部分を係数として返す。 |
| | ImmediateFamilyFn | (ImmediateFamilyFn ?PERSON) denotes the immediate family of ?PERSON, i.e. the Group consisting of the parents of ?PERSON and anyone of whom ?PERSON is a parent. |
| | ImmediateFutureFn | UnaryFunction は、TimePosition を、 TimePosition の直後に続く短い不確定 TimeInterval にマップする。 |
| | ImmediatePastFn | UnaryFunction は、TimePosition を TimePosition の直前にある短い不確定 TimeInterval にマップする。 |
| | IntersectionFn | BinaryFunction は、２つの SetOrClass を これらの SetOrClass の交点にマップする 。オブジェクトは、つの SetOrClass の両方のインスタンス である場合に備えて、２つの SetOrClass の交点のインスタンスである。 |
| | IntervalFn | BinaryFunction は、最初の ConstantQuantity から２番目の ConstantQuantity までの間隔を構成する ConstantQuantity の subclass に ConstantQuantity の２つのインスタンスをマップする。 例：(IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) は、長さが８〜１４メートルの間の量を含む %ConstantQuantity の subclass を返す。 |
| | larger | (larger ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2よりも すべての LengthMeasure に対して大きいことを意味する。 |
| | lineMeasure | (lineMeasure ?LINE ?MEASURE) means that the straight line ?LINE has the LengthMeasure of ?MEASURE. |
| | ListConcatenateFn | Function は、引数として指定された２つの List の連結を返す 例：(ListConcatenateFn (ListFn Monday Tuesday) (ListFn Wednesday Thursday)) の値は (ListFn Monday Tuesday Wednesday Thursday) となる。 |
| | ListLengthFn | Function は、 List を唯一の引数として受け 取り、List 内の項目数を返す。例：(ListLengthFn (ListFn Monday Tuesday Wednesday)) は３の値を返す。 |
| | located | (located ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 で partlyLocated であり、?OBJ2 で located ではない ?OBJ1 の part がないことを意味する。 |
| | manner | (manner ?PROCESS ?MANNER) とは、Process ?PROCESSPPは Attribute ?MANNER によって認定されている、という意味である。 Processes の Attributes は通常、副詞によって示され、風速、ダンスのスタイル、スポーツ競技の強度などのような が含まれる。 |
| | MaxFn | (MaxFn ?NUMBER1 ?NUMBER2) は、?NUMBER1と?NUMBER2の 最大数である。?NUMBER1が?NUMBER2と等しい場合、MaxFn は引数の１つを返す。 |
| | MaximalWeightedPathFn | この BinaryFunction は、2つの GraphNodes 間の加重円弧の最大合計を持つ2つの GraphNode を GraphPath に割り当てる。 |
| | maximumPayloadCapacity | (maximumPayloadCapacity ?V ?MM) means that the Vehicle ?V has a maximum payload of ?MM. This means that the vehicle can transport Objects weighing less than ?MM, provided that their height and width are within the limits of maximumPayloadHeightWidth. |
| | maximumPayloadHeightWidth | (maximumHeightWidth ?V ?LMHEIGHT ?LMWIDTH) means that the Vehicle ?V can transport Objects with a height less then or equal to ?LMHEIGHT and width less than or equal to ?LMWIDTH, provided that the weight of these Objects is less than or equal to maximumPayloadCapacity. |
| | MeasureFn | この BinaryFunction は、RealNumber と UnitOfMeasure をその Number 単位にマップする。 これは、PhysicalQuantity の「測定された」 インスタンスを表すために使用される。例: ３メートルの概念は(MeasureFn 3 Meter) として表され る。 |
| | meetsTemporally | (meetsTemporally ?INTERVAL1 ?INTERVAL2) とは、TimeInterval ?INTERVAL1 の端子点が TimeInterval ?INTERVAL2 の初期点であることを意味 する。 |
| | MereologicalDifferenceFn | (MereologicalDifferenceFn ?OBJ1 ?OBJ2) は、?OBJ2 ではなく ?OBJ1 に属するパーツで構成される Object を示す。 |
| | MereologicalProductFn | (MereologicalProductFn ?OBJ1 ?OBJ2) は、?OBJ1 と ?OBJ2 の両方に属するパーツからなる Object を示す。 |
| | MereologicalSumFn | (MereologicalSumFn ?OBJ1 ?OBJ2) は、 ?OBJ1 または ?OBJ2 のいずれかに属するパーツから成る Objectを示す。 |
| | MinFn | (MinFn ?NUMBER1 ?NUMBER2) は、?NUMBER1と?NUMBER2の 最小値である。?NUMBER1が?NUMBER2と等しい場合、MinFn は引数の１つを返す。 |
| | MinimalWeightedPathFn | この BinaryFunction は、2つの GraphNode 間の加重円弧の最小合計を持つ2つの GraphNode を GraphPath に割り当てる。 |
| | moves | (moves ?MOTION ?OBJECT) は、Motion イベントである ?MOTION 最中に?OBJECTが移動することを意味する。これは必ずしも ?OBJECT の最中に ?OBJECT の位置が 変わることを意味するわけではない。changesLocation および Translocation も参照。 |
| | MultiplicationFn | ?NUMBER1 と ?NUMBER2 が Number の場合、 (MultiplicationFn ?NUMBER1 ?NUMBER2) はこれらの数値の算術積である。 |
| | NumeratorFn | (NumeratorFn ?NUMBER) は、正規の縮小フォーム ?NUMBER の分子を返す。 |
| | parent | The general relationship of parenthood. (parent ?CHILD ?PARENT) means that ?PARENT is a biological parent of ?CHILD. |
| | partlyLocated | (partlyLocated ?OBJ1 ?OBJ2) とは、 Physical ?OBJ1 のインスタンスが少なくとも部分的に ?OBJ2 に配置されたことを意味する。 例： イスタンブールは Asia に部分的に位置し、一部は Europe に位置している。 注：partlyLocated は最も基本的なローカリゼーション関係である: located は即時の partlyLocated の subrelation で、exactlyLocated は即時の located の subrelation である。 |
| | PastFn | UnaryFunction は、TimePosition を TimeInterval にマッピングし、NegativeInfinity で始まる。 |
| | path | (path ?MOTION ?PATH) は、?PATH が ?MOTION が発生す るルートであることを意味する。例：高速道路 101 は、次の命題のパスである: 車で、高速道路 101 を 走らせた。 |
| | PerFn | PerFn は、PhysicalQuantity の２つのインスタンスを これら２つのインスタンスで構成される FunctionQuantity にマップする。 例：(PerFn (MeasureFn 2 (MicroFn Gram)) (MeasureFn 1 (KiloFn Gram))) は、キログラム当たり２ マイクログラムの FunctionQuantity を示す。この関数は、ナレッジ エンジニアが FunctionQuantity のインスタンスを動的に生成できるため便利である。 |
| | personTransportCapability | (personTransportCapability ?PV ?I) means that the PassengerVehicle ?PV is able to carry ?I Humans. |
| | PowerSetFn | (PowerSetFn ?CLASS) は、SetOrClass ?CLASSを ?CLASSのすべての subclasses のSetOrClass へマップする。 |
| | PredecessorFn | UnaryFunction は、Integer をその前身に マップする。 例：５の前身は４である。 |
| | premise | (premise ?ARGUMENT ?PROPOSITION) means that the Proposition ?PROPOSITION is an explicit assumption of the Argument ?ARGUMENT. |
| | PremisesFn | (PremisesFn ?ARGUMENT) returns the complete set of premises of the Argument ?ARGUMENT. |
| | ProbabilityFn | 基本的な ProbabilityRelation の一つは、 ProbabilityFn は、事態の先行確率を述えるために使用される。((ProbabilityFn ?FORMULA) は ?FORMULAの先行確率を示する。 |
| | PropertyFn | UnaryFunction は、Agent を Agent が所有する OObject Set にマップする。 |
| | protonNumber | (protonNumber ?SUBSTANCE ?NUMBER) means that the PureSubstance ?SUBSTANCE has the number of Protons ?NUMBER. |
| | radius | (radius ?CIRCLE ?LENGTH) は、Circle ?CIRCLEの半径 が ?LENGTHの長さを有することを意味する。 |
| | RadiusFn | (RadiusFn ?CIRCLE) denotes the length of the radius of the Circle ?CIRCLE. |
| | relativeAngle | (relativeAngle ?O1 ?O2 ?MEASURE) means that the two-dimensional geometric angle formed by ?O1 and ?O2 has ?MEASURE. |
| | RelativeComplementFn | BinaryFunction は、これらの SetOrClass の違いに2つの SetOrClassC をマップする。 より正確には、(RelativeComplementFn ?CLASS1 ?CLASS2) は、?CLASS2のインスタンスでもない?CLASS1のインスタンスを示す。 |
| | RelativeTimeFn | A means of converting TimePositions between different TimeZones. (RelativeTimeFn ?TIME ?ZONE) denotes the TimePosition in CoordinatedUniversalTime that is contemporaneous with the TimePosition ?TIME in TimeZone ?ZONE. For example, (RelativeTimeFn (MeasureFn 14 HourDuration) EasternTimeZone) would return the value (MeasureFn 19 HourDuration). |
| | RoundFn | (RoundFn ?NUMBER) は、番号行の?NUMBERに最も近い Integer。?NUMBERが２つの Integer の中間にある場合 (たとえば 3.5)、大きな Integer を示 す。 |
| | SignumFn | (SignumFn ?NUMBER) は、?NUMBERの符号を示し、−１、 １、または０のいずれかの値を示す。 |
| | SineFn | (SineFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の正弦である。?DEGREEの正弦は、直角三角形の斜辺に対する?DEGREEの反対側の比率である。 |
| | smaller | (smaller ?OBJ1 ?OBJ2) とは、?OBJ1 が ?OBJ2 より もすべての LengthMeasure に対して小さいことを意味する。 |
| | SpeedFn | LengthMeasure のインスタンスと TimeDuration の インスタンスを、この距離と時間の比率で表される速度にマップする。 例：(SpeedFn (MeasureFn 55 Mile)(MeasureFn 1 HourDuration)) は、時速５５マイルの速度を表す。 |
| | starts | (starts ?INTERVAL1 ?INTERVAL2) とは、?INTERVAL1 と ?INTERVAL2 が両方とも同じ初期 TimePoint を持つ TimeInterva であり、?INTERVAL1 が ?INTERVAL2 より前に終了することを意味する。 |
| | StringConcatenateFn | The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")). |
| | stringConcatenation | (stringConcatenation ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-3 can be formed by appending ?SymbolicString-1 and ?SymbolicString-2, in order. Example: (stringConcatenation "Charles " "Darwin" "Charles Darwin") is a True Sentence. |
| | stringLength | (stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence. |
| | StringLengthFn | This UnaryFunction takes a SymbolicString as its sole argument. The result of evaluating a term formed with StringLengthFn is a NonnegativeInteger that denotes the number of Characters in the SymbolicString. Example: (equal 14 (StringLengthFn "Charles Darwin")). |
| | subString | (subString ?SymbolicString-1 ?SymbolicString-2) means that ?SymbolicString-1 is part of ?SymbolicString-2. ?SymbolicString-2 includes all the same Characters as ?SymbolicString-1 and in the same order, but ?SymbolicString-2 may include more Characters than ?SymbolicString-1. See also inString. |
| | SubtractionFn | ?NUMBER1 と ?NUMBER2 が Number の場合、 (SubtractionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1 と ?NUMBER2 の算術差です。すなわち、?NUMBER1 マイナス ?NUMBER2。 例外は、?NUMBER1 が 0 に等しい場合に発生し、その場合 (SubtractionFn ?NUMBER1 ?NUMBER2) は ?NUMBER2の否定である。 |
| | SuccessorFn | UnaryFunction は、Integer をその後身にマッ プする。例：５の後身は６である。 |
| | TangentFn | (TangentFn ?DEGREE) は、PlaneAngleMeasure ?DEGREE の接線である。 ?DEGREEの接線は、直角三角形の?DEGREEの横の反対側の?DEGREEの比率である。 |
| | TemporalCompositionFn | より小さい %TimeInterval から大きな %TimeInterval の組成を表現するための基本的な Function。例えば、ThisSeptember が September の instance である場合、(TemporalCompositionFn ThisSeptember Day) は ThisSeptember を構成する連続した日数の Class を示す。 注：関数 CardinalityFn を使用して、この Class の インスタンス数を取得できる。 |
| | time | この関係は、前者の一時的な寿命が後者を含む場合に備えて、 Physical のインスタンスと TimePosition のインスタンスの間に保持されます。言い換えれば、 (time ?THING ?TIME) とは、?THING が ?TIME に存在していたか、または ?TIME で起こったことを意味 する。 注：holdsDuring が Formula のインスタンスに対して行うことを time もインスタンスに 対して行う。 定数 located と time は、それぞれ基本的な空間および時間の述語である。 |
| | transactionAmount | (transactionAmount ?TRANSACTION ?AMOUNT) は、?AMOUNT が FinancialTransaction ?TRANSACTION に取り出されている CurrencyMeasure のインスタンスであることを意味する。 |
| | UnionFn | BinaryFunction は、これらの SetOrClass の結合に ２つの SetOrClasses をマップする 。 オブジェクトは、どちらかの SetOrClasse の instance である場合に備えて、２つの SetOrClass の結合の element である。 |
| | UnitFn | UnitFn は、関連付けられた UnitOfMeasure と RealNumber の大きさを持つ PhysicalQuantity の UnitOfMeasure だけを返す。 例： ConstantQuantity (MeasureFn 2 Kilometer) の単位は UnitOfMeasure Kilometer であ る。 |
| | VelocityFn | オブジェクトの速度、つまり速度と速度の方向を指定す る。 例：(VelocityFn (MeasureFn 55 Mile)(MeasureFn 2 HourDuration) ?REFERENCE North) は、所定の基準点 ?REFERENCEの北で時速５５マイルの速度を示す。 |
| | WealthFn | UnaryFunction は、Agent を Agent が所有する プロパティの値を指定する CurrencyMeasure にマップする。注：この Function は一般に Function PropertyFn と組み合わせて使用される。例：(WealthFn (PropertyFn BillGates)) は、ビル・ゲ イツの保有額の金額を返す。 |
| | weaponCarryingCapability | (weaponCarryingCapability ?MV ?WC ?I) means that the MilitaryVehicle ?MV is able to carry ?I Weapons of class ?WC. |
| | WhenFn | UnaryFunction は、Object または Process が存在 する正確な TimeInterval にマップされる。 注：%TimeInterval の外側のすべての TimeInterval (WhenFn ?THING) では、(時間 ?THING ?TIME) は保持されない。 |
| | WhereFn | Object と Object が存在する TimePoint を、 その TimePoint に Object が存在していた Region にマップする。 |
| | YearFn | UnaryFunction は、数値を対応するカレンダー Year にマップする。 注：(YearFn 1912) は、１９１２年の１つのインスタンスだけを含む Class を返 す。予想どおり、正の整数は西暦紀元に年を返し、負の整数は紀元前に年を返す。この関数は値として Class を返す。 この理由は、関連する関数 viz である。MonthFn、DayFn、HourFn、MinuteFn、 および SecondFn は、特定の TimeInterval と反復間隔の両方を生成するために使用され、これを行う 唯一の方法は、個々別々ではなく、これらの関数クラスのドメインと範囲を作成することである。 |
| | ReciprocalFn | (ReciprocalFn ?NUMBER) は、乗算演算子 (MultiplicationFn) に対する?NUMBERの逆数要素、すなわち1/?NUMBERである。すべての数値に相互要素 があるわけではない。 例えば、数値０はそうではない。数値?NUMBERに相互?RECIPがある場合、?NUMBERと ?RECIPの積は１になる。 例：3*1/3 = 1。要素の逆数は、要素に ExponentiationFn 関数を power -1 に適用することに対して equal である。 |