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

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS11
AppleIPhoneOS11(IOS 11)

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


(subclass AppleIPhoneOS11 AppleIOS) ComputingBrands.kif 191-191 IOS 11 is a subclass of IOS

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


(termFormat EnglishLanguage AppleIPhoneOS11 "IOS 11") ComputingBrands.kif 192-192
(termFormat ChineseTraditionalLanguage AppleIPhoneOS11 "IOS 11") ComputingBrands.kif 193-193
(termFormat ChineseLanguage AppleIPhoneOS11 "IOS 11") ComputingBrands.kif 194-194
(termFormat JapaneseLanguage AppleIPhoneOS11 "IOS 11") ComputingBrands.kif 195-195
(deviceOS AppleIPhone8 AppleIPhoneOS11) ComputingBrands.kif 713-713 device OS Apple iPhone and IOS 11
(deviceOS AppleIPhone8plus AppleIPhoneOS11) ComputingBrands.kif 714-714 device OS Apple iPhone and IOS 11
(subclass AppleIPhoneOS111 AppleIPhoneOS11) ComputingBrands.kif 717-717 Apple i phone oS111 is a subclass of IOS 11


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners