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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIOS

Sigma KEE - AppleIOS
AppleIOS(IOS)

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


(canRunOn AppleIOS AppleIPhone) ComputingBrands.kif 91-91 canRunOn IOS and iPhone
(subclass AppleIOS PhoneOS) ComputingBrands.kif 84-84 IOSPhoneOSsubclass では %n

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


(subclass AppleIPhoneOS1 AppleIOS) ComputingBrands.kif 111-111 IOS 1IOSsubclass では %n
(subclass AppleIPhoneOS10 AppleIOS) ComputingBrands.kif 185-185 IOS 10IOSsubclass では %n
(subclass AppleIPhoneOS11 AppleIOS) ComputingBrands.kif 191-191 IOS 11IOSsubclass では %n
(subclass AppleIPhoneOS12 AppleIOS) ComputingBrands.kif 197-197 IOS 12IOSsubclass では %n
(subclass AppleIPhoneOS13 AppleIOS) ComputingBrands.kif 203-203 IOS 13IOSsubclass では %n
(subclass AppleIPhoneOS2 AppleIOS) ComputingBrands.kif 132-132 IOS 2IOSsubclass では %n
(subclass AppleIPhoneOS3 AppleIOS) ComputingBrands.kif 138-138 IOS 3IOSsubclass では %n
(subclass AppleIPhoneOS4 AppleIOS) ComputingBrands.kif 144-144 IOS 4IOSsubclass では %n
(subclass AppleIPhoneOS5 AppleIOS) ComputingBrands.kif 155-155 IOS 5IOSsubclass では %n
(subclass AppleIPhoneOS6 AppleIOS) ComputingBrands.kif 161-161 IOS 6IOSsubclass では %n
(subclass AppleIPhoneOS7 AppleIOS) ComputingBrands.kif 167-167 IOS 7IOSsubclass では %n
(subclass AppleIPhoneOS8 AppleIOS) ComputingBrands.kif 173-173 IOS 8IOSsubclass では %n
(subclass AppleIPhoneOS9 AppleIOS) ComputingBrands.kif 179-179 IOS 9IOSsubclass では %n
(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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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