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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS7
AppleIPhoneOS7(IOS 7)

appearance as argument number 1

(subclass AppleIPhoneOS7 AppleIOS) ComputingBrands.kif 160-160 IOS 7 is a subclass of IOS

appearance as argument number 2

(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 666-666 deviceOS AppleIPhone5c and IOS 7
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 667-667 deviceOS AppleIPhone5s and IOS 7
(termFormat ChineseLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 163-163
(termFormat ChineseTraditionalLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 162-162
(termFormat EnglishLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 161-161
(termFormat JapaneseLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 164-164

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