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