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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS7
AppleIPhoneOS7

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


(subclass AppleIPhoneOS7 AppleIOS) ComputingBrands.kif 167-167

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


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


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