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
TropicalFruit
è una
sottoclasse
di
Fruit
(
subclass
Banana
TropicalFruit
)
Food.kif 2366-2366
Banana
è una
sottoclasse
di
TropicalFruit
(
subclass
Breadfruit
TropicalFruit
)
Food.kif 2368-2368
Breadfruit
è una
sottoclasse
di
TropicalFruit
(
subclass
Coconut
TropicalFruit
)
Food.kif 2370-2370
Coconut
è una
sottoclasse
di
TropicalFruit
(
subclass
DateFruit
TropicalFruit
)
Food.kif 2375-2375
DateFruit
è una
sottoclasse
di
TropicalFruit
(
subclass
Mango
TropicalFruit
)
Food.kif 2377-2377
Mango
è una
sottoclasse
di
TropicalFruit
(
subclass
Papaw
TropicalFruit
)
Food.kif 2379-2379
Papaw
è una
sottoclasse
di
TropicalFruit
(
subclass
Papaya
TropicalFruit
)
Food.kif 2383-2383
Papaya
è una
sottoclasse
di
TropicalFruit
(
subclass
PassionFruit
TropicalFruit
)
Food.kif 2385-2385
PassionFruit
è una
sottoclasse
di
TropicalFruit
(
subclass
Pineapple
TropicalFruit
)
Food.kif 2387-2387
Pineapple
è una
sottoclasse
di
TropicalFruit
(
subclass
Plantain
TropicalFruit
)
Food.kif 2389-2389
Plantain
è una
sottoclasse
di
TropicalFruit
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