Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Skiing

Sigma KEE - ApplicationProgrammerInterface
ApplicationProgrammerInterface(應用程式介面)

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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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