| appearance as argument number 1 |
|
| (subclass AppleIPhoneOS11 AppleIOS) | ComputingBrands.kif 191-191 | IOS 11 是 苹果作业系统 的 subclass |
| appearance as argument number 2 |
|
|
| (deviceOS AppleIPhone8 AppleIPhoneOS11) | ComputingBrands.kif 713-713 | deviceOS AppleIPhone8 and IOS 11 |
| (deviceOS AppleIPhone8plus AppleIPhoneOS11) | ComputingBrands.kif 714-714 | deviceOS AppleIPhone8plus and IOS 11 |
| (subclass AppleIPhoneOS111 AppleIPhoneOS11) | ComputingBrands.kif 717-717 | AppleIPhoneOS111 是 IOS 11 的 subclass |
| (termFormat ChineseLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 194-194 | |
| (termFormat ChineseTraditionalLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 193-193 | |
| (termFormat EnglishLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 192-192 | |
| (termFormat JapaneseLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 195-195 |
|
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