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 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 64468-64468


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