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