Skiing
|
|
appearance as argument number 1 |
(documentation ApplicationProgrammerInterface ChineseLanguage "抹种 ComputerProgram 它本身是另一个更大 ComputerProgram 的一部分 并 设计来做为对其它程式的介面。 它允程式的功能在不知道每个内部方法跟资料结构的细节情形下被使用。") | ComputingBrands.kif 1921-1923 | |
(documentation ApplicationProgrammerInterface ChineseTraditionalLanguage "抹種 ComputerProgram 它本身是另一個更大 ComputerProgram 的一部分 並 設計來做為對其它程式的介面。 它允程式的功能在不知道每個內部方法跟資料結構的細節情形下被使用。") | ComputingBrands.kif 1917-1919 | |
(documentation ApplicationProgrammerInterface EnglishLanguage "A kind of ComputerProgram that is itself a portion of a larger ComputerProgram and is designed to be an interface to other code. It allows the functions of the program to be used without knowing every detail of its internal methods and data structures.") | ComputingBrands.kif 1912-1915 | |
(documentation ApplicationProgrammerInterface JapaneseLanguage "&%ComputerProgram の一種で、それ自体は、より大きな&%ComputerProgramの一部で他のコードへのインターフェースとして 設計されている。内部のメソッドとデータ構造すべての詳細なしでも、プログラムの機能使用が可能。") | ComputingBrands.kif 1925-1927 | |
(subclass ApplicationProgrammerInterface ComputerProgram) | ComputingBrands.kif 1911-1911 | 子類 應用程式介面 and ComputerProgram |
appearance as argument number 2 |
(subclass CocoaTouch ApplicationProgrammerInterface) | ComputingBrands.kif 2398-2398 | 子類 可可觸控 and 應用程式介面 |
(termFormat ChineseLanguage ApplicationProgrammerInterface "API") | ComputingBrands.kif 1938-1938 | |
(termFormat ChineseLanguage ApplicationProgrammerInterface "应用程式介面") | ComputingBrands.kif 1943-1943 | |
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "API") | ComputingBrands.kif 1937-1937 | |
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "應用程式介面") | ComputingBrands.kif 1942-1942 | |
(termFormat EnglishLanguage ApplicationProgrammerInterface "API") | ComputingBrands.kif 1936-1936 | |
(termFormat EnglishLanguage ApplicationProgrammerInterface "Application Programmer Interface") | ComputingBrands.kif 1941-1941 | |
(termFormat JapaneseLanguage ApplicationProgrammerInterface "API") | ComputingBrands.kif 1939-1939 | |
(termFormat JapaneseLanguage ApplicationProgrammerInterface "アプリケーションプログラマインタ フェース") | ComputingBrands.kif 1944-1945 |
antecedent |
(=> (instance ?API ApplicationProgrammerInterface) (exists (?P) (and (instance ?P ComputerProgram) (subProposition ?API ?P)))) |
ComputingBrands.kif 1929-1934 |
|