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
TropicalFruit
Fruit
)
Food.kif 2364-2364
Tropical fruit
is a
subclass
of
fruit
(
subclass
Banana
TropicalFruit
)
Food.kif 2366-2366
Banana
is a
subclass
of
tropical fruit
(
subclass
Breadfruit
TropicalFruit
)
Food.kif 2368-2368
Breadfruit
is a
subclass
of
tropical fruit
(
subclass
Coconut
TropicalFruit
)
Food.kif 2370-2370
Coconut
is a
subclass
of
tropical fruit
(
subclass
DateFruit
TropicalFruit
)
Food.kif 2375-2375
Date fruit
is a
subclass
of
tropical fruit
(
subclass
Mango
TropicalFruit
)
Food.kif 2377-2377
Mango
is a
subclass
of
tropical fruit
(
subclass
Papaw
TropicalFruit
)
Food.kif 2379-2379
Papaw
is a
subclass
of
tropical fruit
(
subclass
Papaya
TropicalFruit
)
Food.kif 2383-2383
Papaya
is a
subclass
of
tropical fruit
(
subclass
PassionFruit
TropicalFruit
)
Food.kif 2385-2385
Passion fruit
is a
subclass
of
tropical fruit
(
subclass
Pineapple
TropicalFruit
)
Food.kif 2387-2387
Pineapple
is a
subclass
of
tropical fruit
(
subclass
Plantain
TropicalFruit
)
Food.kif 2389-2389
Plantain
is a
subclass
of
tropical fruit
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