Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  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 167-167 IOS 7 is a subclass of IOS

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


(termFormat EnglishLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 168-168
(termFormat ChineseTraditionalLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 169-169
(termFormat ChineseLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 170-170
(termFormat JapaneseLanguage AppleIPhoneOS7 "IOS 7") ComputingBrands.kif 171-171
(deviceOS AppleIPhone5c AppleIPhoneOS7) ComputingBrands.kif 698-698 device OS Apple iPhone and IOS 7
(deviceOS AppleIPhone5s AppleIPhoneOS7) ComputingBrands.kif 699-699 device OS Apple iPhone and IOS 7


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