|
| (documentation AssignmentFn JapaneseLanguage "FがN1,..., NKで示されるオブジェクトの値を持つ Function である場合、(AssignmentFn F N1 ... NK) は、N1,..., NKで示されるオブジェクトにFを 適用する値である。") | japanese_format.kif 113-115 | |
| (documentation AssociativeFunction JapaneseLanguage "ブラケットが?FUNCTIONによって返される 値に影響を与える場合、BinaryFunction は関連される。 より正確には、Function ?FUNCTION は 念のため、(?FUNCTION ?INST1 (?FUNCTION ?INST2 ?INST3)) が (?FUNCTION (?FUNCTION ?INST1 ?INST2) ?INST3) と等しい場合に備え、すべての?INST1、?INST2、および?INST3が関連的である。") | japanese_format.kif 637-640 | |
| (documentation AsymmetricRelation JapaneseLanguage "%BinaryRelation は %AntisymmetricRelation と IrreflexiveRelation の両方である場合のみ非対称でる。") | japanese_format.kif 459-460 | |
| (documentation Atom JapaneseLanguage "化学反応におけるアイデンティティを保持する非常に小さい 物質の単位。AtomicNucleus と AtomicNucleus を囲む Electrons で構成される。") | japanese_format.kif 185-186 | |
| (documentation AtomGram JapaneseLanguage "MassMeasure は、グラム原子とも呼ばれる。純物質の 1 Mole のグラムの質量として定義される。例：炭素12の1 AtomGram は純炭素12の12 Gram となる。 同じ物質の2 AtomGram はそれの24 Gram になる。これは、実際の値(すなわち、グラムで測定される 「もの」の本質的に1 M であるというというという珍しい単位である。(例：質量)は物質の種類によって異な る。") | japanese_format.kif 1312-1316 | |
| (documentation AtomicNucleus JapaneseLanguage "Atom のコア。 Proton と Neutron で構成されている。") | japanese_format.kif 189-190 | |
| (documentation AttrFn JapaneseLanguage "指定されたクラスと指定された属性の場合、属性を持つオブ ジェクトのクラスのサブクラスを返す。") | japanese_format.kif 326-327 | |
| (documentation Attribute JapaneseLanguage "サブクラスに再び取り入れることができないか、または 選択できない品質。") | japanese_format.kif 313-314 | |
| (documentation August JapaneseLanguage "８月のすべての Month の Class。") | japanese_format.kif 1543-1543 | |
| (documentation AutonomicProcess JapaneseLanguage "PhysiologicProcesses のクラスは、意識的 な認識と制御がない。") | japanese_format.kif 1647-1648 | |
| (documentation BackFn JapaneseLanguage "Function は、Object の FrontFn の反対側に マップされている。注：これは 一部の Objects に側面がない為、部分的関数である。例：リンゴと球。 ImmediateFutureFn と ImmediatePastFn が無限であるように、この Function の range も 無限であることにも注意する。 最も一般的な事例についての広範な主観間合意がある為、この不明確さは 理論的な観点からは望ましくないが、重要な実用的意義を持たない。") | japanese_format.kif 138-142 | |
| (documentation BannerNotification JapaneseLanguage "Macスクーンの右側上記の角に短時間バナーが 表示され、その後右側にスライドされる。バナーの左側にアイコンのアプリケーションが表示され、そして 右側にアプリケーションのメッセージが表示される。") | ComputingBrands.kif 2191-2193 | |
| (documentation BasebandForIPhone JapaneseLanguage "AppleIPhoneのファームウェア") | ComputingBrands.kif 2252-2252 | |
| (documentation Becquerel JapaneseLanguage "SI放射能測定。シンボル: Bq。これは、物質の所定のサン プルに含まれる放射能の量を測定する。それは、SecondDuration ごとに1つの原子崩壊がある放射性元素の 量である。Becquerel = s^(-1)。") | japanese_format.kif 1273-1275 | |
| (documentation BeginFn JapaneseLanguage "UnaryFunction は TimeInterval を 間隔が開始され る TimePoint にマップする。") | japanese_format.kif 1420-1421 | |
| (documentation BeginNodeFn JapaneseLanguage "UnaryFunction は、GraphPath を GraphPath の先頭である GraphNode にマップする。 注：InitialNodeFn (GraphArc と GraphNode を関 連付ける) とは異なり、BeginNodeFn は完全な関数であり、すべての GraphPath には始まりがある。") | japanese_format.kif 1039-1041 | |
| (documentation BinaryFunction JapaneseLanguage "Function の Class は、２つの引数を必要と する 。") | japanese_format.kif 635-636 | |
| (documentation BinaryNumber JapaneseLanguage "ベース 2 を持つ記数法からの要素。 すべての BinaryNumber は、数字 1 と 0 のシーケンスとして表される。") | japanese_format.kif 364-365 | |
| (documentation BinaryPredicate JapaneseLanguage "Predicate は2つの項目に関連する- その 価数は2である。") | japanese_format.kif 651-652 | |
| (documentation BinaryRelation JapaneseLanguage "BinaryRelation は relation で、 それは ペアのもののみ当てはまる。 BinaryRelation は、フレームシステムのスロットとして表される。") | japanese_format.kif 451-452 | |
| (documentation BiologicalProcess JapaneseLanguage "Process は、Organism に組み込まれて いる。") | japanese_format.kif 1643-1644 | |
| (documentation Birth JapaneseLanguage "Process の誕生。") | japanese_format.kif 1653-1653 | |
| (documentation Bit JapaneseLanguage "情報の１ Bit。 １または ０。") | japanese_format.kif 1341-1341 | |
| (documentation BluetoothNetwork JapaneseLanguage " Bluetooth（ブルートゥース、ブルーツース） は、デジタル機器用の近距離無線通信規格の1つである。Bluetooth Basic Rate/ Enhanced Data Rate (BR/ EDR) とBluetooth Low Energy(LE) から構成される。(ウィキペディア参照)") | ComputingBrands.kif 1505-1507 | |
| (documentation BodyMotion JapaneseLanguage "agent が Organism で patient が BodyPart である任意の Motion。") | japanese_format.kif 1765-1766 | |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners