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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ApplicationProgrammerInterface
ApplicationProgrammerInterface

appearance as argument number 1
-------------------------


(documentation ApplicationProgrammerInterface ChineseLanguage "抹种 ComputerProgram 它本身是另一个更大 ComputerProgram 的一部分 并 设计来做为对其它程式的介面。 它允程式的功能在不知道每个内部方法跟资料结构的细节情形下被使用。") ComputingBrands.kif 1888-1890
(documentation ApplicationProgrammerInterface ChineseTraditionalLanguage "抹種 ComputerProgram 它本身是另一個更大 ComputerProgram 的一部分 並 設計來做為對其它程式的介面。 它允程式的功能在不知道每個內部方法跟資料結構的細節情形下被使用。") ComputingBrands.kif 1884-1886
(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 1879-1882
(documentation ApplicationProgrammerInterface JapaneseLanguage "&%ComputerProgram の一種で、それ自体は、より大きな&%ComputerProgramの一部で他のコードへのインターフェースとして 設計されている。内部のメソッドとデータ構造すべての詳細なしでも、プログラムの機能使用が可能。") ComputingBrands.kif 1892-1894
(subclass ApplicationProgrammerInterface ComputerProgram) ComputingBrands.kif 1878-1878

appearance as argument number 2
-------------------------


(subclass CocoaTouch ApplicationProgrammerInterface) ComputingBrands.kif 2365-2365
(termFormat ChineseLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1905-1905
(termFormat ChineseLanguage ApplicationProgrammerInterface "应用程式介面") ComputingBrands.kif 1910-1910
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1904-1904
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "應用程式介面") ComputingBrands.kif 1909-1909
(termFormat EnglishLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1903-1903
(termFormat EnglishLanguage ApplicationProgrammerInterface "Application Programmer Interface") ComputingBrands.kif 1908-1908
(termFormat JapaneseLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1906-1906
(termFormat JapaneseLanguage ApplicationProgrammerInterface "アプリケーションプログラマインタ フェース") ComputingBrands.kif 1911-1912

antecedent
-------------------------


(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))
ComputingBrands.kif 1896-1901


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



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