Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
Berry
Fruit
)
Food.kif 2205-2205
Berry
is a
subclass
of
fruit
(
subclass
Blueberry
Berry
)
Food.kif 2211-2211
Blueberry
is a
subclass
of
berry
(
subclass
Bilberry
Berry
)
Food.kif 2221-2221
Bilberry
is a
subclass
of
berry
(
subclass
Blackberry
Berry
)
Food.kif 2232-2232
Blackberry
is a
subclass
of
berry
(
subclass
Blackcurrent
Berry
)
Food.kif 2237-2237
Black current
is a
subclass
of
berry
(
subclass
Cranberry
Berry
)
Food.kif 2242-2242
Cranberry
is a
subclass
of
berry
(
subclass
Elderberry
Berry
)
Food.kif 2248-2248
Elderberry
is a
subclass
of
berry
(
subclass
Gooseberry
Berry
)
Food.kif 2254-2254
Gooseberry
is a
subclass
of
berry
(
subclass
Huckleberry
Berry
)
Food.kif 2259-2259
Huckleberry
is a
subclass
of
berry
(
subclass
Lingonberry
Berry
)
Food.kif 2265-2265
Lingonberry
is a
subclass
of
berry
(
subclass
MadeiraBlueberry
Berry
)
Food.kif 2272-2272
Madeira blueberry
is a
subclass
of
berry
(
subclass
Raspberry
Berry
)
Food.kif 2278-2278
Raspberry
is a
subclass
of
berry
(
subclass
Redcurrent
Berry
)
Food.kif 2283-2283
Red current
is a
subclass
of
berry
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
