Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| AppleIPhoneOS1(IOS 1) |
| appearance as argument number 1 |
|
| (subclass AppleIPhoneOS1 AppleIOS) | ComputingBrands.kif 111-111 | IOS 1 is a subclass of IOS |
| (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 112-115 | IOS 1 is a subclass of IOS |
| (documentation AppleIPhoneOS1 ChineseTraditionalLanguage "第一版從 'OS X' 引申而來的蘋果作業系統 (在當時， 'macOS' 仍被認知為 'Mac OS X' 而不是 'OS X' 如同它在2012到2016 被認知一般)。") | ComputingBrands.kif 117-118 | IOS 1 is a subclass of IOS |
| (documentation AppleIPhoneOS1 ChineseLanguage "第一版从 'OS X' 引申而来的苹果作业系统 （在当时，'macOS' 仍被认知为 'Mac OS X' 而不是 'OS X' 如同它在2012到2016被认知一般)。") | ComputingBrands.kif 120-121 | IOS 1 is a subclass of IOS |
| (documentation AppleIPhoneOS1 JapaneseLanguage "「OS X」に由来するAppleの最初のオペレーティン グシステム(当時、「macOS」はまだ「Mac OS X」として知られていて、2012 to 2016まで知られていた 「OS X」としてではない。)") | ComputingBrands.kif 123-125 | IOS 1 is a subclass of IOS |
| appearance as argument number 2 |
|
|
|