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 724-724
(canRunOn AppleMacOSX AppleMacBook) ComputingBrands.kif 783-783
(canRunOn AppleMacOSX AppleMacBookAir) ComputingBrands.kif 768-768
(canRunOn AppleMacOSX AppleMacBookPro) ComputingBrands.kif 753-753
(canRunOn AppleMacOSX AppleMacPro) ComputingBrands.kif 738-738
(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 247-247

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


(subclass MacOSCatalina AppleMacOSX) ComputingBrands.kif 604-604
(subclass MacOSHighSierra AppleMacOSX) ComputingBrands.kif 562-562
(subclass MacOSMojave AppleMacOSX) ComputingBrands.kif 583-583
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 540-540
(subclass MacOSX10-0 AppleMacOSX) ComputingBrands.kif 288-288
(subclass MacOSX10-1 AppleMacOSX) ComputingBrands.kif 309-309
(subclass MacOSX10-2 AppleMacOSX) ComputingBrands.kif 330-330
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 519-519
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 393-393
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 437-437
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 476-476
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 458-458
(subclass MacOSXPanther AppleMacOSX) ComputingBrands.kif 351-351
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 268-268
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 415-415
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 372-372
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 498-498


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