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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIOS
AppleIOS(蘋果作業系統)

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


(canRunOn AppleIOS AppleIPhone) ComputingBrands.kif 91-91 IPhone 應該可以 ComputerProcess 蘋果作業系統
(subclass AppleIOS PhoneOS) ComputingBrands.kif 84-84 子類 蘋果作業系統 and PhoneOS

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


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

antecedent
-------------------------


(=>
    (and
        (subclass ?OS AppleIOS)
        (instance ?INST ?OS))
    (creator AppleComputerCorporation ?INST))		 ComputingBrands.kif 93-97


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