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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - AppleIPhoneOS4
AppleIPhoneOS4(IOS 4)

appearance as argument number 1

(documentation AppleIPhoneOS4 ChineseLanguage "从 iPhone OS 3 延伸") ComputingBrands.kif 140-140
(documentation AppleIPhoneOS4 ChineseTraditionalLanguage "從 iPhone OS 3 延伸") ComputingBrands.kif 139-139
(documentation AppleIPhoneOS4 EnglishLanguage "continued from iPhone OS 3") ComputingBrands.kif 138-138
(documentation AppleIPhoneOS4 JapaneseLanguage " iPhone OS 3から継続") ComputingBrands.kif 141-141
(subclass AppleIPhoneOS4 AppleIOS) ComputingBrands.kif 137-137 IOS 4 is a subclass of IOS

appearance as argument number 2

(deviceOS AppleIPhone4 AppleIPhoneOS4) ComputingBrands.kif 663-663 deviceOS AppleIPhone4 and IOS 4
(termFormat ChineseLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 145-145
(termFormat ChineseTraditionalLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 144-144
(termFormat EnglishLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 143-143
(termFormat JapaneseLanguage AppleIPhoneOS4 "IOS 4") ComputingBrands.kif 146-146

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