JapaneseLanguage |
(documentation Collection JapaneseLanguage "コレクションには Classes などの members が あるが、Classes とは異なり時空に位置していて、 members は、それによって Collection の アイデンティティを変更せずに加算および減算できる。 いくつかの例として、ツールキット、サッカー チーム、および羊の群れなど。") | japanese_format.kif 212-215 | |
(documentation CommutativeFunction JapaneseLanguage "BinaryFunction は、関数の引数の順序が 関数によって返される値に影響を与える場合に可換になる。より正確には、関数 ?FUNCTION は、すべての ?INST1 および ?INST2 に対して(?FUNCTION ?INST1 ?INST2) が (?FUNCTION ?INST2 ?INST1) に等しい 場合に可換する。") | japanese_format.kif 641-644 | |
(documentation ComplementFn JapaneseLanguage "指定された SetOrClass C の補数は、C のインス、 ンスではないすべてのものである。言い換えると、オブジェクトはCのインスタンスでない場合に備えて、 SetOrClass C の補数のインスタンスである。") | japanese_format.kif 969-971 | |
(documentation ComplexNumber JapaneseLanguage "Number の形式が x + yiで、x と yが RealNumbers であり、i が -1 の平方根。") | japanese_format.kif 366-367 | |
(documentation CompositeUnitOfMeasure JapaneseLanguage "この Class のインスタンスは、他の ユニットの機能構成によって定義される %UnitsOfMeasure であり、それぞれが CompositeUnitOfMeasure または NonCompositeUnitOfMeasure である可能性がある。") | japanese_format.kif 1078-1080 | |
(documentation CompoundSubstance JapaneseLanguage "重量で明確な割合で、2つ以上の要素 (ElementalSubstances) を含む Substances の Class 。 準備の方法に関係なく、純粋な化合 物の組成は不変である。 化合物は、複数の種類の原子(要素)で構成される。 分子という用語は、多くの 場合、化合物の最小単位に使用され化合物のすべてのプロパティを保持する。例:食卓塩(ナトリウム 塩化物、NaCl)、砂糖(蔗糖、C_ {12} H_ {22} O_ {11})、および水(H_2O)。") | japanese_format.kif 197-201 | |
(documentation ComputerDesktopImage JapaneseLanguage "隠喩的なデスクトップを描写するImage。 一般的に使用されるファイルとアプリケーションのアイコンを保持するように設計されている。") | ComputingBrands.kif 3164-3165 | |
(documentation ComputerLanguage JapaneseLanguage "Language のクラスは、コンピューター用に 設計され、コンピューターによって解釈される。") | japanese_format.kif 253-254 | |
(documentation ComputerPlug JapaneseLanguage "「雄型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") | ComputingBrands.kif 2592-2593 | |
(documentation ComputerPlug JapaneseLanguage "両端のあるケーブルのEngineeringComponent はMaleConnectorsもしくはFemaleConnectorsである。") | ComputingBrands.kif 2715-2716 | |
(documentation ComputerPort JapaneseLanguage "「雌型」電気接続は複数の特殊な形と設定のWires で構成され、DigitalDataを転送する特定の信号プロトコルを伝送するように設計されている。") | ComputingBrands.kif 2564-2565 | |
(documentation ComputerProtocol JapaneseLanguage "2つ(またはそれ以上)の&%ComputerPrograms 間で送信されたシーケンスとフォーマットのデータ一の連の仕様でいくつかのタスクを完了する。") | ComputingBrands.kif 1728-1729 | |
(documentation Concave JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブジェ クトの外部にある、と数学的理想値と概算するShapeAttribute。") | ComputingBrands.kif 2686-2687 | |
(documentation ConstantQuantity JapaneseLanguage "ConstantQuantity は、定数値を有する PhysicalQuantity である。例えば、3 Meters と 5 HourDurations 。 すべての ConstantQuantity の大きさ(MagnitudeFn 参照)は RealNumber です。 ConstantQuantity は、後者の各インスタンスが別の PhysicalQuantity へのマッピングを介して形成されることにおいて、 PhysicalQuantity と区別される。 ConstantQuantity の各インスタンスは %BinaryFunction MeasureFn で表され、Number と UnitOfMeasure を引数として受け取る。 例えば、3 Meters は (MeasureFn 3 Meter) として表される。 lessThan は RelationExtendedToQuantity で あり、lessThan は RealNumber の上で定義されるため、ConstantQuantity のインスタンスは lessThan 関係を持つ部分的な順序 (TotalOrderingRelation を参照) を形成する。 lessThan の関係は、ConstantQuantity の一部のサブクラスの要素 (長さの数量など) が ConstantQuantity の 他のサブクラスの要素 (質量量など) に匹敵しないため、クラス ConstantQuantity 上の合計順序 (TotalOrderingRelation を参照) ではない。") | japanese_format.kif 379-390 | |
(documentation ConstructedLanguage JapaneseLanguage "ConstructedLanguage は 言語コミュ ニティ内で自然に進化しなかった HumanLanguage だが、むしろ一人以上の言語専門家によって、その中核 となる文法と語彙を発明した。多くの場合、自然に進化した言語よりも文法的に規則的な言語を目的として作 り上げた。 この Class には、国際コミュニケーションを促進するために作成された、エスペラントのよ うな言語が含まれている。") | japanese_format.kif 257-261 | |
(documentation ConsumerElectronicsShow JapaneseLanguage " CES(シーイーエス)は、毎年1月、 全米民生技術協会 (CTA) が主催し、ネバダ州ラスベガスで開催される電子機器の見本市である。業界向けの 見本市で、一般への公開はされていない。展示会には多くの新製品が出品され、プロトタイプ(試作品)も 多い。当初から長らく名称はConsumer Electronics Showだった。現在、CESではConsumer Electronics Showとして紹介しないように公式に記している。 ラスベガス・コンベンションセンターを中心として開催 され、一部の特定分野は別会場となっている。(ウィキペディア参照)") | ComputingBrands.kif 2374-2379 | |
(documentation ContentBearingObject JapaneseLanguage "コンテンツを表現する任意の SelfConnectedObject 。 このコンテンツは Proposition である可能性がある。例:Icon、 Word、または Phrase と同様、ContentBearingObject が Sentence か Text の時、または 抽象的または物理的なオブジェクトの表現である可能性がある場合。") | japanese_format.kif 225-228 | |
(documentation ContentBearingPhysical JapaneseLanguage "コンテンツを表現する任意の Object または Process 。 これは、本のように、Proposition を含む Object をカバーする。 同様に、 ManualSignLanguage も Proposition を含む。") | japanese_format.kif 220-222 | |
(documentation ContentBearingProcess JapaneseLanguage "任意の Process。 例えば Proposition を含む可能性のある ManualHumanLanguage など。") | japanese_format.kif 223-224 | |
(documentation ContinuousFunction JapaneseLanguage "Functions は連続している。この概念は、 限界の表現が考案されるまで、プリミティブと見なされる。") | japanese_format.kif 649-650 | |
(documentation Convex JapaneseLanguage "オブジェクトの表面上の任意の2点から描かれた線がオブ ジェクトの外部にある、と数学的理想値と概算するShapeAttribute。") | ComputingBrands.kif 2657-2658 | |
(documentation Cooling JapaneseLanguage "PhysicalQuantity が減少した任意の Decreasing Process は TemperatureMeasure である。") | japanese_format.kif 1749-1750 | |
(documentation CorpuscularObject JapaneseLanguage "パーツのプロパティが全体で共有されない SelfConnectedObject。") | japanese_format.kif 206-207 | |
(documentation CosineFn JapaneseLanguage "(CosineFn ?DEGREE) は PlaneAngleMeasure ?DEGREEの余弦をす。 ?DEGREEの余弦は、直角三角形の斜辺に対する?DEGREEの横の比率である。") | japanese_format.kif 892-893 | |
(documentation Coulomb JapaneseLanguage "SI電荷測定。シンボル:C。これは、各 SecondDuration 中に 1Ampere の電流で導体の断面を通って輸送される電荷の量である。Coulomb = s*A。") | japanese_format.kif 1241-1242 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |