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

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS9
AppleIPhoneOS9(IOS 9)

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


(subclass AppleIPhoneOS9 AppleIOS) ComputingBrands.kif 179-179 IOS 9 is a subclass of IOS

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


(termFormat EnglishLanguage AppleIPhoneOS9 "IOS 9") ComputingBrands.kif 180-180
(termFormat ChineseTraditionalLanguage AppleIPhoneOS9 "IOS 9") ComputingBrands.kif 181-181
(termFormat ChineseLanguage AppleIPhoneOS9 "IOS 9") ComputingBrands.kif 182-182
(termFormat JapaneseLanguage AppleIPhoneOS9 "IOS 9") ComputingBrands.kif 183-183
(subclass AppleIPhoneOS901 AppleIPhoneOS9) ComputingBrands.kif 703-703 Apple i phone oS901 is a subclass of IOS 9
(subclass AppleIPhoneOS93 AppleIPhoneOS9) ComputingBrands.kif 709-709 Apple i phone oS93 is a subclass of IOS 9


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