TreeView Knowledge Base Browser - ApplicationProgrammerInterface

appearance as argument number 1

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

appearance as argument number 2

(termFormat EnglishLanguage ApplicationProgrammerInterface "API")	ComputingBrands.kif 1936-1936
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "API")	ComputingBrands.kif 1937-1937
(termFormat ChineseLanguage ApplicationProgrammerInterface "API")	ComputingBrands.kif 1938-1938
(termFormat JapaneseLanguage ApplicationProgrammerInterface "API")	ComputingBrands.kif 1939-1939
(termFormat EnglishLanguage ApplicationProgrammerInterface "Application Programmer Interface")	ComputingBrands.kif 1941-1941
(termFormat ChineseTraditionalLanguage ApplicationProgrammerInterface "應用程式介面")	ComputingBrands.kif 1942-1942
(termFormat ChineseLanguage ApplicationProgrammerInterface "应用程式介面")	ComputingBrands.kif 1943-1943
(termFormat JapaneseLanguage ApplicationProgrammerInterface "アプリケーションプログラマインタフェース")	ComputingBrands.kif 1944-1945
(subclass CocoaTouch ApplicationProgrammerInterface)	ComputingBrands.kif 2398-2398	Cocoa Touch is a subclass of Application Programmer Interface

antecedent

(=>
    (instance ?API ApplicationProgrammerInterface)
    (exists (?P)
        (and
            (instance ?P ComputerProgram)
            (subProposition ?API ?P))))

ComputingBrands.kif 1929-1934

If X is an instance of Application Programmer Interface, then there exists Y such that Y is an instance of computer program and X is a sub-proposition of Y

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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: