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
SelfConnectedObject
Object
)
Merge.kif 862-862
Objet en une partie
est une
sous
-classe de
objet
(
subclass
ShipContainer
SelfConnectedObject
)
Transportation.kif 2574-2574
ShipContainer
est une
sous
-classe de
objet en une partie
(
subclass
Ramp
SelfConnectedObject
)
Mid-level-ontology.kif 2361-2361
Ramp
est une
sous
-classe de
objet en une partie
(
subclass
OrganicThing
SelfConnectedObject
)
Merge.kif 867-867
OrganicThing
est une
sous
-classe de
objet en une partie
(
subclass
Substance
SelfConnectedObject
)
Merge.kif 1041-1041
Substance
est une
sous
-classe de
objet en une partie
(
subclass
CorpuscularObject
SelfConnectedObject
)
Merge.kif 1226-1226
Objet corpusculaire
est une
sous
-classe de
objet en une partie
(
subclass
Transitway
SelfConnectedObject
)
Merge.kif 14266-14266
Transitway
est une
sous
-classe de
objet en une partie
(
subclass
Food
SelfConnectedObject
)
Merge.kif 14874-14874
Nourriture
est une
sous
-classe de
objet en une partie
(
subclass
BodyOfWater
SelfConnectedObject
)
Geography.kif 4492-4492
BodyOfWater
est une
sous
-classe de
objet en une partie
(
subclass
Iceberg
SelfConnectedObject
)
Geography.kif 4723-4723
Iceberg
est une
sous
-classe de
objet en une partie
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