| appearance as argument number 1 |
|
| (subclass AppleIPhoneOS7 AppleIOS) | ComputingBrands.kif 167-167 | IOS 7 是 苹果作业系统 的 subclass |
| appearance as argument number 2 |
|
|
| (deviceOS AppleIPhone5c AppleIPhoneOS7) | ComputingBrands.kif 698-698 | deviceOS AppleIPhone5c and IOS 7 |
| (deviceOS AppleIPhone5s AppleIPhoneOS7) | ComputingBrands.kif 699-699 | deviceOS AppleIPhone5s and IOS 7 |
| (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