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 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 是 Mac OS 的 subclass

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


(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 Catalina 是 AppleMacOSX 的 subclass
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 568-568 High Sierra 是 AppleMacOSX 的 subclass
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589 Mojave 是 AppleMacOSX 的 subclass
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 Sierra 是 AppleMacOSX 的 subclass
(subclass MacOSX10_0 AppleMacOSX) ComputingBrands.kif 294-294 Cheetah 是 AppleMacOSX 的 subclass
(subclass MacOSX10_1 AppleMacOSX) ComputingBrands.kif 315-315 Puma 是 AppleMacOSX 的 subclass
(subclass MacOSX10_2 AppleMacOSX) ComputingBrands.kif 336-336 Jaguar 是 AppleMacOSX 的 subclass
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525 El Capitan 是 AppleMacOSX 的 subclass
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 Leopard 是 AppleMacOSX 的 subclass
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 Lion 是 AppleMacOSX 的 subclass
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 Mavericks 是 AppleMacOSX 的 subclass
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 Mountain Lion 是 AppleMacOSX 的 subclass
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 Panther 是 AppleMacOSX 的 subclass
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274 Kodiak 是 AppleMacOSX 的 subclass
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 Snow Leopard 是 AppleMacOSX 的 subclass
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 Tiger 是 AppleMacOSX 的 subclass
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 Yosemite 是 AppleMacOSX 的 subclass
(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