Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
AppleMacOSX
AppleMacOS
)
ComputingBrands.kif 253-253
Apple mac oSX
is a
subclass
of
Mac OS
(
subclass
MacOSXPublicBeta
AppleMacOSX
)
ComputingBrands.kif 274-274
Kodiak
is a
subclass
of
Apple mac oSX
(
subclass
MacOSX10_0
AppleMacOSX
)
ComputingBrands.kif 294-294
Cheetah
is a
subclass
of
Apple mac oSX
(
subclass
MacOSX10_1
AppleMacOSX
)
ComputingBrands.kif 315-315
Puma
is a
subclass
of
Apple mac oSX
(
subclass
MacOSX10_2
AppleMacOSX
)
ComputingBrands.kif 336-336
Jaguar
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXPanther
AppleMacOSX
)
ComputingBrands.kif 357-357
Panther
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXTiger
AppleMacOSX
)
ComputingBrands.kif 378-378
Tiger
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXLeopard
AppleMacOSX
)
ComputingBrands.kif 399-399
Leopard
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXSnowLeopard
AppleMacOSX
)
ComputingBrands.kif 421-421
Snow Leopard
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXLion
AppleMacOSX
)
ComputingBrands.kif 443-443
Lion
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXMountainLion
AppleMacOSX
)
ComputingBrands.kif 464-464
Mountain Lion
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXMavericks
AppleMacOSX
)
ComputingBrands.kif 482-482
Mavericks
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXYosemite
AppleMacOSX
)
ComputingBrands.kif 504-504
Yosemite
is a
subclass
of
Apple mac oSX
(
subclass
MacOSXElCapitan
AppleMacOSX
)
ComputingBrands.kif 525-525
El Capitan
is a
subclass
of
Apple mac oSX
(
subclass
MacOSSierra
AppleMacOSX
)
ComputingBrands.kif 546-546
Sierra
is a
subclass
of
Apple mac oSX
(
subclass
MacOSHighSierra
AppleMacOSX
)
ComputingBrands.kif 568-568
High Sierra
is a
subclass
of
Apple mac oSX
(
subclass
MacOSMojave
AppleMacOSX
)
ComputingBrands.kif 589-589
Mojave
is a
subclass
of
Apple mac oSX
(
subclass
MacOSCatalina
AppleMacOSX
)
ComputingBrands.kif 610-610
Catalina
is a
subclass
of
Apple mac oSX
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
