| appearance as argument number 1 |
|
| (subclass AppleIPhoneOS11 AppleIOS) | ComputingBrands.kif 191-191 | IOS 11 is a subclass of IOS |
| appearance as argument number 2 |
|
|
| (deviceOS AppleIPhone8 AppleIPhoneOS11) | ComputingBrands.kif 713-713 | device OS Apple iPhone and IOS 11 |
| (deviceOS AppleIPhone8plus AppleIPhoneOS11) | ComputingBrands.kif 714-714 | device OS Apple iPhone and IOS 11 |
| (subclass AppleIPhoneOS111 AppleIPhoneOS11) | ComputingBrands.kif 717-717 | Apple i phone oS111 is a subclass of IOS 11 |
| (termFormat ChineseLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 194-194 | Apple i phone oS111 is a subclass of IOS 11 |
| (termFormat ChineseTraditionalLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 193-193 | Apple i phone oS111 is a subclass of IOS 11 |
| (termFormat EnglishLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 192-192 | Apple i phone oS111 is a subclass of IOS 11 |
| (termFormat JapaneseLanguage AppleIPhoneOS11 "IOS 11") | ComputingBrands.kif 195-195 | Apple i phone oS111 is a subclass of IOS 11 |
|
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