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
FluidContainer
Container
)
Mid-level-ontology.kif 4673-4673
Fluid container
is a
subclass
of
container
(
subclass
BathTub
FluidContainer
)
Mid-level-ontology.kif 2042-2042
Tub
is a
subclass
of
fluid container
(
subclass
Bottle
FluidContainer
)
Mid-level-ontology.kif 4683-4683
Bottle
is a
subclass
of
fluid container
(
subclass
DrinkingCup
FluidContainer
)
Mid-level-ontology.kif 4705-4705
Drinking cup
is a
subclass
of
fluid container
(
subclass
SwimmingPool
FluidContainer
)
Mid-level-ontology.kif 4716-4716
Swimming pool
is a
subclass
of
fluid container
(
subclass
WhirlpoolTub
FluidContainer
)
Mid-level-ontology.kif 25334-25334
Whirlpool tub
is a
subclass
of
fluid container
(
subclass
FishTank
FluidContainer
)
Mid-level-ontology.kif 29538-29538
Fish tank
is a
subclass
of
fluid container
(
subclass
Cask
FluidContainer
)
Food.kif 3577-3577
Cask
is a
subclass
of
fluid container
(
subclass
GasTank
FluidContainer
)
Cars.kif 985-985
Gas tank
is a
subclass
of
fluid container
(
subclass
OilPan
FluidContainer
)
Cars.kif 3300-3300
Oil pan
is a
subclass
of
fluid container
(
subclass
Balloon
FluidContainer
)
Cars.kif 3569-3569
Balloon
is a
subclass
of
fluid container
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
