AppleIOS - Sigma Knowledge base Browser

appearance as argument number 1

(subclass AppleIOS PhoneOS)	ComputingBrands.kif 84-84	IOS is a subclass of phone OS
(canRunOn AppleIOS AppleIPhone)	ComputingBrands.kif 91-91	IPhone is capable of ComputerProcessing IOS

appearance as argument number 2

(termFormat EnglishLanguage AppleIOS "IOS")	ComputingBrands.kif 85-85
(termFormat ChineseTraditionalLanguage AppleIOS "蘋果作業系統")	ComputingBrands.kif 86-86
(termFormat ChineseLanguage AppleIOS "苹果作业系统")	ComputingBrands.kif 87-87
(termFormat JapaneseLanguage AppleIOS "IOS")	ComputingBrands.kif 88-88
(subclass AppleIPhoneOS1 AppleIOS)	ComputingBrands.kif 111-111	IOS 1 is a subclass of IOS
(subclass AppleIPhoneOS2 AppleIOS)	ComputingBrands.kif 132-132	IOS 2 is a subclass of IOS
(subclass AppleIPhoneOS3 AppleIOS)	ComputingBrands.kif 138-138	IOS 3 is a subclass of IOS
(subclass AppleIPhoneOS4 AppleIOS)	ComputingBrands.kif 144-144	IOS 4 is a subclass of IOS
(subclass AppleIPhoneOS5 AppleIOS)	ComputingBrands.kif 155-155	IOS 5 is a subclass of IOS
(subclass AppleIPhoneOS6 AppleIOS)	ComputingBrands.kif 161-161	IOS 6 is a subclass of IOS
(subclass AppleIPhoneOS7 AppleIOS)	ComputingBrands.kif 167-167	IOS 7 is a subclass of IOS
(subclass AppleIPhoneOS8 AppleIOS)	ComputingBrands.kif 173-173	IOS 8 is a subclass of IOS
(subclass AppleIPhoneOS9 AppleIOS)	ComputingBrands.kif 179-179	IOS 9 is a subclass of IOS
(subclass AppleIPhoneOS10 AppleIOS)	ComputingBrands.kif 185-185	IOS 10 is a subclass of IOS
(subclass AppleIPhoneOS11 AppleIOS)	ComputingBrands.kif 191-191	IOS 11 is a subclass of IOS
(subclass AppleIPhoneOS12 AppleIOS)	ComputingBrands.kif 197-197	IOS 12 is a subclass of IOS
(subclass AppleIPhoneOS13 AppleIOS)	ComputingBrands.kif 203-203	IOS 13 is a subclass of IOS

antecedent

(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))

If X is a subclass of IOS and Y is an instance of X, then Apple created Y