|
| (documentation Inserting JapaneseLanguage "別のものの中に一つの物をPutting。") | japanese_format.kif 1807-1807 | |
| (documentation Integer JapaneseLanguage "負または非負の整数。") | japanese_format.kif 356-356 | |
| (documentation IntegerSquareRootFn JapaneseLanguage "(IntegerSquareRootFn ?NUMBER) は、 ?NUMBER の整数平方根を返す。") | japanese_format.kif 907-908 | |
| (documentation IntentionalProcess JapaneseLanguage "Process は、それを実行する Agent に 対し、固有の目的を持つ。") | japanese_format.kif 1681-1682 | |
| (documentation IntentionalPsychologicalProcess JapaneseLanguage "IntentionalProcess は、 Organism の心または脳内で完全に実現できるプロセスである。したがって、例えば、Reasoning は IntentionalPsychologicalProcess のサブクラスである。なぜ なら、単純に心/ 脳を行使するだけで推論できるからである。一方、RecreationOrExercise のインスタン スの多くは必ずしも BodyMotion の subProcesses を持つため、RecreationOrExercise は IntentionalPsychologicalProcess のサブクラスではない。") | japanese_format.kif 1683-1688 | |
| (documentation IntentionalRelation JapaneseLanguage "Agent と1つ以上の Entities の間の Agent の Class は Agent が Entity の認識を持っていることを Relation が要求する。") | japanese_format.kif 547-548 | |
| (documentation InternalAttribute JapaneseLanguage "Entity の内部プロパティである Entity の任意の Attribute 。 例：その形状、その色、その脆弱性など。") | japanese_format.kif 328-329 | |
| (documentation Interpreting JapaneseLanguage "任意の Process は、%Text に Proposition を 割り当てる。すなわち、%Text を理解する。") | japanese_format.kif 1739-1740 | |
| (documentation IntersectionFn JapaneseLanguage "BinaryFunction は、２つの SetOrClass を これらの SetOrClass の交点にマップする 。オブジェクトは、つの SetOrClass の両方のインスタンス である場合に備えて、２つの SetOrClass の交点のインスタンスである。") | japanese_format.kif 963-965 | |
| (documentation IntervalFn JapaneseLanguage "BinaryFunction は、最初の ConstantQuantity から２番目の ConstantQuantity までの間隔を構成する ConstantQuantity の subclass に ConstantQuantity の２つのインスタンスをマップする。 例：(IntervalFn (MeasureFn 8 Meter) (MeasureFn 14 Meter)) は、長さが８〜１４メートルの間の量を含む %ConstantQuantity の subclass を返す。") | japanese_format.kif 1156-1160 | |
| (documentation IntransitiveRelation JapaneseLanguage "BinaryRelation ?REL は、 (?REL ?INST1 ?INST2) および (?REL ?INST2 ?INST3) がすべての ?INST1、?INST2、および ?INST3 に対して (?REL ?INST1 ?INST3) を意味しない場合にのみ非推移的である。") | japanese_format.kif 472-474 | |
| (documentation IrrationalNumber JapaneseLanguage "RationalNumber でもない任意の RealNumber 。") | japanese_format.kif 351-352 | |
| (documentation IrreflexiveRelation JapaneseLanguage "Relation ?REL は、(?REL ?INST ?INST) に?INSTの値がない場合のみ非再帰的である。") | japanese_format.kif 455-456 | |
| (documentation Jailbreaking JapaneseLanguage "ジェイルブレークとはUNIXのようなオペレーティング システムやデジタル著作権管理をchrootもしくは脱獄する操作をしたり、また、そのツール自体のことである。 前者の場合、管理者がアプリケーションや問題のユーザ用に提示するファイルシステム外のファイルをユー ザーが見ることができる。DRMという観点から、これによりユーザーはDRMでデバイスに任意に定義された コードを作成し、chrootのような制限を解除する。この用語はiPhoneやiOSのジェールブレークコミュニ ティに由来し、PlayStation Portableのハッキング用語としても使われている。これらのデバイスは任意な コーデイングなどで何度となくジェイルブレークの問題対象となった為、時にはベンダーの更新によりジェー ルブレークを無効にした。") | ComputingBrands.kif 3451-3458 | |
| (documentation January JapaneseLanguage "１月のすべての Month の Class。") | japanese_format.kif 1536-1536 | |
| (documentation JoiningAnOrganization JapaneseLanguage "Organization の member になる OrganizationalProcess。") | japanese_format.kif 1702-1703 | |
| (documentation Joule JapaneseLanguage "SIエネルギー測定。シンボル:J。 これは、1Nの塗布点が力 の方向に1Mの距離を変位したときに行われる作業である。 Joule = N*m = m^2*kg*s^(-2)。") | japanese_format.kif 1235-1236 | |
| (documentation JudicialProcess JapaneseLanguage "JudicialOrganization によって行われる法的 手続き。注：LegalAction と JudicialProcess の概念には重要な違いがある。前者は、原告が提起し た法的請求を指す。例：訴訟。 後者は、LegalAction のメリットが決定される裁判や他の種類の司法審理 を指す。") | japanese_format.kif 1717-1720 | |
| (documentation July JapaneseLanguage "７月のすべての Month の Class。") | japanese_format.kif 1542-1542 | |
| (documentation June JapaneseLanguage "６月のすべての Month の Class。") | japanese_format.kif 1541-1541 | |
| (documentation KappaFn JapaneseLanguage "変数と変数の少なくとも 1 つの非連結オカレンスを含む 数式の2つの引数を受け取るクラス形成演算子。変数と数式に KappaFn を適用した結果は、数式を満たす ものの SetOrClass である。例えば、次の式 (KappaFn ?NUMBER (and (instance ?NUMBER PrimeNumber) (lessThan ?NUMBER 100))) で、100 未満の素数の SetOrClass を示すことができる。注：現在、この 関数の割り当てはサポートされていないため、この関数の使用は勧められない。") | japanese_format.kif 991-995 | |
| (documentation KelvinDegree JapaneseLanguage "SI UnitOfMeasure は TemperatureMeasure の インスタンスを示す用語を生成するために MeasureFn と共に使用される。シンボル: K。これは SI の基 本単位の１つである (ITS システムの単位でもある)。ケルビンは摂氏の尺度とは異なり、水のトリプルポイ ントは６２７３.１６ KelvinDegree で、CelsiusDegrees は 0 CelsiusDegree と定義されてい る。２つの縮尺の間隔の大きさは同じである。定義上、変換定数は ２７３.１５である。") | japanese_format.kif 1197-1201 | |
| (documentation KiloByte JapaneseLanguage "1 KiloByte (KB) の情報。 １ KiloByte は １０２４ Byte。 注：この「キロ」の感覚は、SI システムで受け入れられるものとは異なる。") | japanese_format.kif 1343-1344 | |
| (documentation KiloFn JapaneseLanguage "UnaryFunction は、元の UnitOfMeasure の 1,000 単位に等しい UnitOfMeasure に UnitOfMeasure をマップする。例：(KiloFn Gram) は、1,000 Grams である。") | japanese_format.kif 1132-1134 | |
| (documentation Kilogram JapaneseLanguage "Gram の超多重項。シンボル: kg。1 Kilogram = 1000 Grams。") | japanese_format.kif 1317-1318 | |
| 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