| appearance as argument number 1 |
|
| (subclass AppleIPhoneOS9 AppleIOS) | ComputingBrands.kif 179-179 | IOS 9 is a subclass of IOS |
| appearance as argument number 2 |
|
|
| (subclass AppleIPhoneOS901 AppleIPhoneOS9) | ComputingBrands.kif 703-703 | Apple i phone oS901 is a subclass of IOS 9 |
| (subclass AppleIPhoneOS93 AppleIPhoneOS9) | ComputingBrands.kif 709-709 | Apple i phone oS93 is a subclass of IOS 9 |
| (termFormat ChineseLanguage AppleIPhoneOS9 "IOS 9") | ComputingBrands.kif 182-182 | |
| (termFormat ChineseTraditionalLanguage AppleIPhoneOS9 "IOS 9") | ComputingBrands.kif 181-181 | |
| (termFormat EnglishLanguage AppleIPhoneOS9 "IOS 9") | ComputingBrands.kif 180-180 | |
| (termFormat JapaneseLanguage AppleIPhoneOS9 "IOS 9") | ComputingBrands.kif 183-183 |
|
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