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 117-118
(documentation AppleIPhoneOS1 ChineseTraditionalLanguage "第一版從 'OS X' 引申而來的蘋果作業系統 (在當時, 'macOS' 仍被認知為 'Mac OS X' 而不是 'OS X' 如同它在2012到2016 被認知一般)。") ComputingBrands.kif 114-115
(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 109-112
(documentation AppleIPhoneOS1 JapaneseLanguage "「OS X」に由来するAppleの最初のオペレーティン グシステム(当時、「macOS」はまだ「Mac OS X」として知られていて、2012 to 2016まで知られていた 「OS X」としてではない。)") ComputingBrands.kif 120-122
(subclass AppleIPhoneOS1 AppleIOS) ComputingBrands.kif 108-108 IOS 1 is a subclass of IOS

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


(deviceOS AppleIPhone1 AppleIPhoneOS1) ComputingBrands.kif 667-667 deviceOS AppleIPhone1 and IOS 1
(termFormat ChineseLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 126-126
(termFormat ChineseTraditionalLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 125-125
(termFormat EnglishLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 124-124
(termFormat JapaneseLanguage AppleIPhoneOS1 "IOS 1") ComputingBrands.kif 127-127


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