appearance as argument number 2

(termFormat EnglishLanguage AppleIPhoneOS13 "IOS 13")	ComputingBrands.kif 204-204
(termFormat ChineseTraditionalLanguage AppleIPhoneOS13 "IOS 13")	ComputingBrands.kif 205-205
(termFormat ChineseLanguage AppleIPhoneOS13 "IOS 13")	ComputingBrands.kif 206-206
(termFormat JapaneseLanguage AppleIPhoneOS13 "IOS 13")	ComputingBrands.kif 207-207
(deviceOS AppleIPhone11 AppleIPhoneOS13)	ComputingBrands.kif 722-722	device OS Apple iPhone and IOS 13
(deviceOS AppleIPhone11pro AppleIPhoneOS13)	ComputingBrands.kif 723-723	device OS Apple iPhone and IOS 13
(deviceOS AppleIPhone11ProMax AppleIPhoneOS13)	ComputingBrands.kif 724-724	device OS Apple iPhone and IOS 13
(canRunOn AppleFindMy AppleIPhoneOS13)	ComputingBrands.kif 4160-4160	IOS 13 is capable of ComputerProcessing Find My

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-a0cce400 (2026-06-02) is open source software produced by Articulate Software and its partners