Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacOSX
AppleMacOSX

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