| appearance as argument number 1 |
|
| (canRunOn AppleMacOSX AppleIMac) | ComputingBrands.kif 730-730 | |
| (canRunOn AppleMacOSX AppleMacBook) | ComputingBrands.kif 789-789 | |
| (canRunOn AppleMacOSX AppleMacBookAir) | ComputingBrands.kif 774-774 | |
| (canRunOn AppleMacOSX AppleMacBookPro) | ComputingBrands.kif 759-759 | |
| (canRunOn AppleMacOSX AppleMacPro) | ComputingBrands.kif 744-744 | |
| (subclass AppleMacOSX AppleMacOS) | ComputingBrands.kif 250-250 |
| 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 291-291 | |
| (subclass MacOSX10-1 AppleMacOSX) | ComputingBrands.kif 313-313 | |
| (subclass MacOSX10-2 AppleMacOSX) | ComputingBrands.kif 334-334 | |
| (subclass MacOSXElCapitan AppleMacOSX) | ComputingBrands.kif 525-525 | |
| (subclass MacOSXLeopard AppleMacOSX) | ComputingBrands.kif 397-397 | |
| (subclass MacOSXLion AppleMacOSX) | ComputingBrands.kif 441-441 | |
| (subclass MacOSXMavericks AppleMacOSX) | ComputingBrands.kif 482-482 | |
| (subclass MacOSXMountainLion AppleMacOSX) | ComputingBrands.kif 462-462 | |
| (subclass MacOSXPanther AppleMacOSX) | ComputingBrands.kif 355-355 | |
| (subclass MacOSXPublicBeta AppleMacOSX) | ComputingBrands.kif 271-271 | |
| (subclass MacOSXSnowLeopard AppleMacOSX) | ComputingBrands.kif 419-419 | |
| (subclass MacOSXTiger AppleMacOSX) | ComputingBrands.kif 376-376 | |
| (subclass MacOSXYosemite AppleMacOSX) | ComputingBrands.kif 504-504 |
|
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