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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AppleMacOSX
AppleMacOSX(Apple mac oSX)

appearance as argument number 1
-------------------------


(canRunOn AppleMacOSX AppleIMac) ComputingBrands.kif 755-755 IMac is capable of ComputerProcessing Apple mac oSX
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 814-814 Macbook is capable of ComputerProcessing Apple mac oSX
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 799-799 Macbook Air is capable of ComputerProcessing Apple mac oSX
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784 Macbook Pro is capable of ComputerProcessing Apple mac oSX
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 769-769 Mac Pro is capable of ComputerProcessing Apple mac oSX
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 Apple mac oSX is a subclass of Mac OS

appearance as argument number 2
-------------------------


(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 Catalina is a subclass of Apple mac oSX
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 568-568 High Sierra is a subclass of Apple mac oSX
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589 Mojave is a subclass of Apple mac oSX
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 Sierra is a subclass of Apple mac oSX
(subclass MacOSX10-0 AppleMacOSX) ComputingBrands.kif 294-294 Cheetah is a subclass of Apple mac oSX
(subclass MacOSX10-1 AppleMacOSX) ComputingBrands.kif 315-315 Puma is a subclass of Apple mac oSX
(subclass MacOSX10-2 AppleMacOSX) ComputingBrands.kif 336-336 Jaguar is a subclass of Apple mac oSX
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525 El Capitan is a subclass of Apple mac oSX
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 Leopard is a subclass of Apple mac oSX
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 Lion is a subclass of Apple mac oSX
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 Mavericks is a subclass of Apple mac oSX
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 Mountain Lion is a subclass of Apple mac oSX
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 Panther is a subclass of Apple mac oSX
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274 Kodiak is a subclass of Apple mac oSX
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 Snow Leopard is a subclass of Apple mac oSX
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 Tiger is a subclass of Apple mac oSX
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 Yosemite is a subclass of Apple mac oSX
(termFormat EnglishLanguage AppleMacOSX "Apple mac oSX") domainEnglishFormat.kif 64455-64455


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