JapaneseLanguage |
![]() |
(documentation Covering JapaneseLanguage "Putting の Class は、agent が patient を 完全にまたは部分的にカバーする処理を行う。") | japanese_format.kif 1805-1806 | |
(documentation Cup JapaneseLanguage "英国のボリュームの単位は Pint の1/2に等しい。") | japanese_format.kif 1308-1308 | |
(documentation CurrencyMeasure JapaneseLanguage "ConstantQuantity のこの subclass の例 は、UnitedStatesDollar、UnitedStatesCent、RMB、Lira、Yen、などのいくつかの UnitOfCurrency の観点から記載された monetaryValue の尺度である。") | japanese_format.kif 1107-1109 | |
(documentation CutSetFn JapaneseLanguage "UnaryFunction は、切り取るとグラフを2つの別々の グラフに分割する GraphPath の Class の Graph を割り当てる。特定のグラフに複数のカットセット がある場合がある。") | japanese_format.kif 1056-1058 | |
(documentation CydiaPackageManager JapaneseLanguage " Cydia ([sɪˈdi.ə])とは脱獄(Jailbreak) したiPhone、iPod Touch、iPadで動作するサードパーティー製のiOS対応ダウンロード販売プラットフォー ムを提供するアプリケーションソフトウェアで、ユーザーはパッケージソフトウェア(アプリケーションや インターフェイスカスタマイズソフト、システムエクステンション含む)を検索しインストールできる。 Cydiaで配信されるソフトウェアの大多数は無料だが、App Storeと同様Cydia Storeにて購入できる有料の ソフトウェアも多数ある。脱獄したデバイスをカスタマイズ(通常「tweaks」と称される)することを目的と するソフトウェアが多数を占めている(App Storeでは自己完結型アプリケーションの配信は制限されて いる)。(ウィキペディア参照)") | ComputingBrands.kif 2490-2497 | |
(documentation Dancing JapaneseLanguage "意図的に音楽と調整されている Human の任意の BodyMotion。") | japanese_format.kif 1777-1778 | |
(documentation Day JapaneseLanguage "すべてのカレンダー Day の Class。") | japanese_format.kif 1548-1548 | |
(documentation DayDuration JapaneseLanguage "時間単位。1 日 = 24 時間。") | japanese_format.kif 1286-1286 | |
(documentation DayFn JapaneseLanguage "BinaryFunction は、PositiveRealNumber と Month のサブクラスを、その PositiveRealNumber に対応する各 Month 内の Day に割り当てる。例えば、 (DayFn 16 August) は8月のすべての16日間の Class である。別の例として、(DayFn 9 Month) は、任意の月のすべての9日間のクラスを返す。さらに別の例については、 (DayFn 18(MonthFn August (YearFn 1912))) は1912年8月18日を示す。") | japanese_format.kif 1488-1492 | |
(documentation Death JapaneseLanguage "死ぬ Process。") | japanese_format.kif 1654-1654 | |
(documentation Decade JapaneseLanguage "すべてのカレンダー Decade の Class。") | japanese_format.kif 1512-1512 | |
(documentation December JapaneseLanguage "12月のすべての Month の Class。") | japanese_format.kif 1547-1547 | |
(documentation Decreasing JapaneseLanguage "PhysicalQuantity が減少した任意の QuantityChange。") | japanese_format.kif 1747-1748 | |
(documentation DenominatorFn JapaneseLanguage "(DenominatorFn ?NUMBER) は、RealNumber ?NUMBERの正規減少フォームの分母を返す。") | japanese_format.kif 894-895 | |
(documentation DensityFn JapaneseLanguage "DensityFn は、MassMeasure のインスタンスと VolumeMeasure のインスタンスを、この質量と体積の比率で表される密度にマップする。 例: (DensityFn (MeasureFn 3 Gram)(MeasureFn 1 Liter)) は、1リットル当たり3グラムの密度 を表す。") | japanese_format.kif 1174-1177 | |
(documentation Designing JapaneseLanguage "Planning の 空間アナログ。Objects の Collection を %Designing ことは、特定の目的を満たすために、互いに対して、そしておそらく他の Object に対して Object の配置を決定する。") | japanese_format.kif 1736-1738 | |
(documentation DeviceFirmwareUpdateMode JapaneseLanguage "&%AppleComputerは一連の複雑な キー入力をすると、Firmwareが 更新されるモードを入力する。") | ComputingBrands.kif 2515-2516 | |
(documentation Digesting JapaneseLanguage "摂取された Food をより単純な化学化合物に分解し、 Organism によって吸収される Process。") | japanese_format.kif 1661-1662 | |
(documentation DirectedGraph JapaneseLanguage "有向グラフの Class。 有向グラフは、すべての GraphArcs が方向を持つ Graph である。 すなわち、すべての GraphArc には初期ノード (InitialNodeFn を参照) とターミナルノード (TerminalNodeFn を参照) がある。") | japanese_format.kif 1000-1002 | |
(documentation DirectionChange JapaneseLanguage "patient の行為が向いている方向を変える 行為。") | japanese_format.kif 1793-1794 | |
(documentation DivisionFn JapaneseLanguage "?NUMBER1 と ?NUMBER2 が Number の場合、 (DivisionFn ?NUMBER1 ?NUMBER2) は ?NUMBER1を ?NUMBER2で除算した結果である。注1:?NUMBER1 = 1 (DivisionFn ?NUMBER1 ?NUMBER2) が ?NUMBER2 の逆数である場合がある。 注2:?NUMBER2 = 0 の場合、(DivisionFn ?NUMBER1 ?NUMBER2) は未定義である。") | japanese_format.kif 884-887 | |
(documentation Drinking JapaneseLanguage "流動食、つまり Beverages は、Animal に組み込ま れている。") | japanese_format.kif 1659-1660 | |
(documentation Driving JapaneseLanguage "Vehicle の方向や速度の制御。 これには、船の航行、 車やトラックの運転、列車の運行などが含まれる。") | japanese_format.kif 1836-1837 | |
(documentation DualObjectProcess JapaneseLanguage "任意の Process で、2つの非同一の patient を要する。") | japanese_format.kif 302-303 | |
(documentation EarlyTerminationFeeClause JapaneseLanguage "早期解約手数料とは、当事者が契約の 期間または長期契約を破棄したい場合に徴収される料金である。それらは契約または契約自体に規定されて おり、対象となる当事者が契約を順守するインセンティブである。") | ComputingBrands.kif 2905-2907 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
![]() |