Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass AppleMacOSX AppleMacOS) ComputingBrands.kif 253-253 AppleMacOSX は Mac OS の subclass では %n
(subclass MacOSXPublicBeta AppleMacOSX) ComputingBrands.kif 274-274 Kodiak は 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 MacOSXPanther AppleMacOSX) ComputingBrands.kif 357-357 Panther は AppleMacOSX の subclass では %n
(subclass MacOSXTiger AppleMacOSX) ComputingBrands.kif 378-378 Tiger は AppleMacOSX の subclass では %n
(subclass MacOSXLeopard AppleMacOSX) ComputingBrands.kif 399-399 Leopard は AppleMacOSX の subclass では %n
(subclass MacOSXSnowLeopard AppleMacOSX) ComputingBrands.kif 421-421 Snow Leopard は AppleMacOSX の subclass では %n
(subclass MacOSXLion AppleMacOSX) ComputingBrands.kif 443-443 Lion は AppleMacOSX の subclass では %n
(subclass MacOSXMountainLion AppleMacOSX) ComputingBrands.kif 464-464 Mountain Lion は AppleMacOSX の subclass では %n
(subclass MacOSXMavericks AppleMacOSX) ComputingBrands.kif 482-482 Mavericks は AppleMacOSX の subclass では %n
(subclass MacOSXYosemite AppleMacOSX) ComputingBrands.kif 504-504 Yosemite は AppleMacOSX の subclass では %n
(subclass MacOSXElCapitan AppleMacOSX) ComputingBrands.kif 525-525 El Capitan は AppleMacOSX の subclass では %n
(subclass MacOSSierra AppleMacOSX) ComputingBrands.kif 546-546 Sierra は 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 MacOSCatalina AppleMacOSX) ComputingBrands.kif 610-610 Catalina は AppleMacOSX の subclass では %n


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