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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS1
AppleIPhoneOS1(IOS 1)

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


(documentation AppleIPhoneOS1 ChineseLanguage "第一版从 'OS X' 引申而来的苹果作业系统 (在当时,'macOS' 仍被认知为 'Mac OS X' 而不是 'OS X' 如同它在2012到2016被认知一般)。") ComputingBrands.kif 113-114
(documentation AppleIPhoneOS1 ChineseTraditionalLanguage "第一版從 'OS X' 引申而來的蘋果作業系統 (在當時, 'macOS' 仍被認知為 'Mac OS X' 而不是 'OS X' 如同它在2012到2016 被認知一般)。") ComputingBrands.kif 110-111
(documentation AppleIPhoneOS1 EnglishLanguage "The first operating system for the Apple derived from 'OS X' (At the time, 'macOS' was still known as 'Mac OS X' and not 'OS X' as it was known from 2012 to 2016.)") ComputingBrands.kif 105-108
(documentation AppleIPhoneOS1 JapaneseLanguage "「OS X」に由来するAppleの最初のオペレーティン グシステム(当時、「macOS」はまだ「Mac OS X」として知られていて、2012 to 2016まで知られていた 「OS X」としてではない。)") ComputingBrands.kif 116-118
(subclass AppleIPhoneOS1 AppleIOS) ComputingBrands.kif 104-104 IOS 1 is a subclass of IOS

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


(deviceOS AppleIPhone1 AppleIPhoneOS1) ComputingBrands.kif 660-660 deviceOS AppleIPhone1 and IOS 1
(termFormat ChineseLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 122-122
(termFormat ChineseTraditionalLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 121-121
(termFormat EnglishLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 120-120
(termFormat JapaneseLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 123-123


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