Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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 5123-5123
Fluid container
is a
subclass
of
container
(
subclass
BathTub
FluidContainer
)
Mid-level-ontology.kif 2512-2512
Tub
is a
subclass
of
fluid container
(
subclass
Bottle
FluidContainer
)
Mid-level-ontology.kif 5133-5133
Bottle
is a
subclass
of
fluid container
(
subclass
DrinkingCup
FluidContainer
)
Mid-level-ontology.kif 5155-5155
Drinking cup
is a
subclass
of
fluid container
(
subclass
SwimmingPool
FluidContainer
)
Mid-level-ontology.kif 5177-5177
Swimming pool
is a
subclass
of
fluid container
(
subclass
WhirlpoolTub
FluidContainer
)
Mid-level-ontology.kif 26939-26939
Whirlpool tub
is a
subclass
of
fluid container
(
subclass
FishTank
FluidContainer
)
Mid-level-ontology.kif 31406-31406
Fish tank
is a
subclass
of
fluid container
(
subclass
Cask
FluidContainer
)
Food.kif 3584-3584
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 3376-3376
Oil pan
is a
subclass
of
fluid container
(
subclass
Balloon
FluidContainer
)
Cars.kif 3645-3645
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
