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

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


(subclass CocoaTouch ApplicationProgrammerInterface) ComputingBrands.kif 2377-2377
(termFormat ChineseLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1920-1920
(termFormat ChineseLanguage ApplicationProgrammerInterface "应用程式介面") ComputingBrands.kif 1925-1925
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1919-1919
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "應用程式介面") ComputingBrands.kif 1924-1924
(termFormat EnglishLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1918-1918
(termFormat EnglishLanguage ApplicationProgrammerInterface "Application Programmer Interface") ComputingBrands.kif 1923-1923
(termFormat JapaneseLanguage ApplicationProgrammerInterface "API") ComputingBrands.kif 1921-1921
(termFormat JapaneseLanguage ApplicationProgrammerInterface "アプリケーションプログラマインタ フェース") ComputingBrands.kif 1926-1927

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


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


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