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
TropicalFruit
Fruit
)
Food.kif 2371-2371
Tropical fruit
is a
subclass
of
fruit
(
subclass
Banana
TropicalFruit
)
Food.kif 2373-2373
Banana
is a
subclass
of
tropical fruit
(
subclass
Breadfruit
TropicalFruit
)
Food.kif 2375-2375
Breadfruit
is a
subclass
of
tropical fruit
(
subclass
Coconut
TropicalFruit
)
Food.kif 2377-2377
Coconut
is a
subclass
of
tropical fruit
(
subclass
DateFruit
TropicalFruit
)
Food.kif 2382-2382
Date fruit
is a
subclass
of
tropical fruit
(
subclass
Mango
TropicalFruit
)
Food.kif 2384-2384
Mango
is a
subclass
of
tropical fruit
(
subclass
Papaw
TropicalFruit
)
Food.kif 2386-2386
Papaw
is a
subclass
of
tropical fruit
(
subclass
Papaya
TropicalFruit
)
Food.kif 2390-2390
Papaya
is a
subclass
of
tropical fruit
(
subclass
PassionFruit
TropicalFruit
)
Food.kif 2392-2392
Passion fruit
is a
subclass
of
tropical fruit
(
subclass
Pineapple
TropicalFruit
)
Food.kif 2394-2394
Pineapple
is a
subclass
of
tropical fruit
(
subclass
Plantain
TropicalFruit
)
Food.kif 2396-2396
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
