| appearance as argument number 1 |
|
| (canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 755-755 | |
| (canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 814-814 | |
| (canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 799-799 | |
| (canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 784-784 | |
| (canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 769-769 | |
| (subclass AppleMacOSX AppleMacOS) | ComputingBrands.kif 253-253 |
| appearance as argument number 2 |
|
|
| (subclass MacOSCatalina AppleMacOSX) | ComputingBrands.kif 610-610 | |
| (subclass MacOSHighSierra AppleMacOSX) | ComputingBrands.kif 568-568 | |
| (subclass MacOSMojave AppleMacOSX) | ComputingBrands.kif 589-589 | |
| (subclass MacOSSierra AppleMacOSX) | ComputingBrands.kif 546-546 | |
| (subclass MacOSX10_0 AppleMacOSX) | ComputingBrands.kif 294-294 | |
| (subclass MacOSX10_1 AppleMacOSX) | ComputingBrands.kif 315-315 | |
| (subclass MacOSX10_2 AppleMacOSX) | ComputingBrands.kif 336-336 | |
| (subclass MacOSXElCapitan AppleMacOSX) | ComputingBrands.kif 525-525 | |
| (subclass MacOSXLeopard AppleMacOSX) | ComputingBrands.kif 399-399 | |
| (subclass MacOSXLion AppleMacOSX) | ComputingBrands.kif 443-443 | |
| (subclass MacOSXMavericks AppleMacOSX) | ComputingBrands.kif 482-482 | |
| (subclass MacOSXMountainLion AppleMacOSX) | ComputingBrands.kif 464-464 | |
| (subclass MacOSXPanther AppleMacOSX) | ComputingBrands.kif 357-357 | |
| (subclass MacOSXPublicBeta AppleMacOSX) | ComputingBrands.kif 274-274 | |
| (subclass MacOSXSnowLeopard AppleMacOSX) | ComputingBrands.kif 421-421 | |
| (subclass MacOSXTiger AppleMacOSX) | ComputingBrands.kif 378-378 | |
| (subclass MacOSXYosemite AppleMacOSX) | ComputingBrands.kif 504-504 | |
| (termFormat EnglishLanguage AppleMacOSX "Apple mac oSX") | domainEnglishFormat.kif 64491-64491 |
|
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