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 4678-4678
Fluid container
is a
subclass
of
container
(
subclass
BathTub
FluidContainer
)
Mid-level-ontology.kif 2049-2049
Tub
is a
subclass
of
fluid container
(
subclass
Bottle
FluidContainer
)
Mid-level-ontology.kif 4688-4688
Bottle
is a
subclass
of
fluid container
(
subclass
DrinkingCup
FluidContainer
)
Mid-level-ontology.kif 4710-4710
Drinking cup
is a
subclass
of
fluid container
(
subclass
SwimmingPool
FluidContainer
)
Mid-level-ontology.kif 4721-4721
Swimming pool
is a
subclass
of
fluid container
(
subclass
WhirlpoolTub
FluidContainer
)
Mid-level-ontology.kif 25277-25277
Whirlpool tub
is a
subclass
of
fluid container
(
subclass
FishTank
FluidContainer
)
Mid-level-ontology.kif 29487-29487
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 3315-3315
Oil pan
is a
subclass
of
fluid container
(
subclass
Balloon
FluidContainer
)
Cars.kif 3584-3584
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
