Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
TropicalFruit
Fruit
)
Economy.kif 3960-3960
Tropical fruit
is a
subclass
of
fruit
(
subclass
Avocado
TropicalFruit
)
Economy.kif 3963-3963
Avocado
is a
subclass
of
tropical fruit
(
subclass
Banana
TropicalFruit
)
Economy.kif 3966-3966
Banana
is a
subclass
of
tropical fruit
(
subclass
Breadfruit
TropicalFruit
)
Economy.kif 3969-3969
Breadfruit
is a
subclass
of
tropical fruit
(
subclass
Coconut
TropicalFruit
)
Economy.kif 3972-3972
Coconut
is a
subclass
of
tropical fruit
(
subclass
DateFruit
TropicalFruit
)
Economy.kif 3975-3975
Date fruit
is a
subclass
of
tropical fruit
(
subclass
Mango
TropicalFruit
)
Economy.kif 3978-3978
Mango
is a
subclass
of
tropical fruit
(
subclass
Papaw
TropicalFruit
)
Economy.kif 3981-3981
Papaw
is a
subclass
of
tropical fruit
(
subclass
Papaya
TropicalFruit
)
Economy.kif 3986-3986
Papaya
is a
subclass
of
tropical fruit
(
subclass
PassionFruit
TropicalFruit
)
Economy.kif 3989-3989
Passion fruit
is a
subclass
of
tropical fruit
(
subclass
Pineapple
TropicalFruit
)
Economy.kif 3992-3992
Pineapple
is a
subclass
of
tropical fruit
(
subclass
Plantain
TropicalFruit
)
Economy.kif 3995-3995
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
