Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274
(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 MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 568-568
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589
(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610


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