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 and iMac
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 814-814 canRunOn AppleMacOSX and Macbook
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 799-799 canRunOn AppleMacOSX and Macbook Air
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784 canRunOn AppleMacOSX and Macbook Pro
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 769-769 canRunOn AppleMacOSX and Mac Pro
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX は Mac OS の subclass では %n

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


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