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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleIPhoneOS4

Sigma KEE - AppleIPhoneOS4
AppleIPhoneOS4

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


(documentation AppleIPhoneOS4 ChineseLanguage "从 iPhone OS 3 延伸") ComputingBrands.kif 147-147
(documentation AppleIPhoneOS4 ChineseTraditionalLanguage "從 iPhone OS 3 延伸") ComputingBrands.kif 146-146
(documentation AppleIPhoneOS4 EnglishLanguage "continued from iPhone OS 3") ComputingBrands.kif 145-145
(documentation AppleIPhoneOS4 JapaneseLanguage " iPhone OS 3から継続") ComputingBrands.kif 148-148
(subclass AppleIPhoneOS4 AppleIOS) ComputingBrands.kif 144-144

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


(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 695-695
(termFormat ChineseLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 152-152
(termFormat ChineseTraditionalLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 151-151
(termFormat EnglishLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 150-150
(termFormat JapaneseLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 153-153


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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