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

Formal Language: 



KB Term:  Term intersection
English Word: 

  AppleMacOSX

 Sigma KEE - AppleMacOSX
AppleMacOSX

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


(canRunOn AppleMacOSX AppleIMac) ComputingBrands.kif 755-755 IMac 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 814-814 Macbook 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 799-799 Macbook Air 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784 Macbook Pro 應該可以 ComputerProcess AppleMacOSX
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 769-769 Mac Pro 應該可以 ComputerProcess AppleMacOSX
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 子類 AppleMacOSX and Mac OS

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


(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 子類 Catalina and AppleMacOSX
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 568-568 子類 High Sierra and AppleMacOSX
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589 子類 Mojave and AppleMacOSX
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 子類 Sierra and AppleMacOSX
(subclass MacOSX10_0 AppleMacOSX) ComputingBrands.kif 294-294 子類 Cheetah and AppleMacOSX
(subclass MacOSX10_1 AppleMacOSX) ComputingBrands.kif 315-315 子類 Mac OS Puma and AppleMacOSX
(subclass MacOSX10_2 AppleMacOSX) ComputingBrands.kif 336-336 子類 Jaguar and AppleMacOSX
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525 子類 El Capitan and AppleMacOSX
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 子類 Leopard and AppleMacOSX
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 子類 Lion and AppleMacOSX
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 子類 Mavericks and AppleMacOSX
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 子類 Mountain Lion and AppleMacOSX
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 子類 Panther and AppleMacOSX
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274 子類 Kodiak and AppleMacOSX
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 子類 Snow Leopard and AppleMacOSX
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 子類 Tiger and AppleMacOSX
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 子類 Yosemite and AppleMacOSX
(termFormat EnglishLanguage AppleMacOSX "Apple mac oSX") domainEnglishFormat.kif 64468-64468


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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