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
AttachingDevice
Device
)
Merge.kif 16012-16012
AttachingDevice
ist eine
teilkategorie
von
Device
(
subclass
Screw
AttachingDevice
)
Mid-level-ontology.kif 4189-4189
Screw
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Nail
AttachingDevice
)
Mid-level-ontology.kif 4222-4222
Nail
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Tape
AttachingDevice
)
Mid-level-ontology.kif 4226-4226
Tape
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Anchor
AttachingDevice
)
Mid-level-ontology.kif 4239-4239
Anchor
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Button
AttachingDevice
)
Mid-level-ontology.kif 4262-4262
Button
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Clamp
AttachingDevice
)
Mid-level-ontology.kif 4272-4272
Clamp
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Glue
AttachingDevice
)
Mid-level-ontology.kif 8898-8898
Glue
ist eine
teilkategorie
von
AttachingDevice
(
subclass
Bolt
AttachingDevice
)
Cars.kif 4160-4160
Bolt
ist eine
teilkategorie
von
AttachingDevice
(
subclass
MechanicalNut
AttachingDevice
)
Cars.kif 4182-4182
MechanicalNut
ist eine
teilkategorie
von
AttachingDevice
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