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 AppleIMac
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 814-814 canRunOn AppleMacOSX and AppleMacBook
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 799-799 canRunOn AppleMacOSX and AppleMacBookAir
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 784-784 canRunOn AppleMacOSX and AppleMacBookPro
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 769-769 canRunOn AppleMacOSX and AppleMacPro
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX è una sottoclasse di AppleMacOS

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


(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 MacOSCatalina è una sottoclasse di AppleMacOSX
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 568-568 MacOSHighSierra è una sottoclasse di AppleMacOSX
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 589-589 MacOSMojave è una sottoclasse di AppleMacOSX
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 MacOSSierra è una sottoclasse di AppleMacOSX
(subclass MacOSX10_0 AppleMacOSX) ComputingBrands.kif 294-294 MacOSX10_0 è una sottoclasse di AppleMacOSX
(subclass MacOSX10_1 AppleMacOSX) ComputingBrands.kif 315-315 MacOSX10_1 è una sottoclasse di AppleMacOSX
(subclass MacOSX10_2 AppleMacOSX) ComputingBrands.kif 336-336 MacOSX10_2 è una sottoclasse di AppleMacOSX
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525 MacOSXElCapitan è una sottoclasse di AppleMacOSX
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 MacOSXLeopard è una sottoclasse di AppleMacOSX
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 MacOSXLion è una sottoclasse di AppleMacOSX
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 MacOSXMavericks è una sottoclasse di AppleMacOSX
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 MacOSXMountainLion è una sottoclasse di AppleMacOSX
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 MacOSXPanther è una sottoclasse di AppleMacOSX
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274 MacOSXPublicBeta è una sottoclasse di AppleMacOSX
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 MacOSXSnowLeopard è una sottoclasse di AppleMacOSX
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 MacOSXTiger è una sottoclasse di AppleMacOSX
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 MacOSXYosemite è una sottoclasse di AppleMacOSX
(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