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


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