Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
FluidContainer
Container
)
Mid-level-ontology.kif 4998-4998
Fluid container
is a
subclass
of
container
(
subclass
BathTub
FluidContainer
)
Mid-level-ontology.kif 2504-2504
Tub
is a
subclass
of
fluid container
(
subclass
Bottle
FluidContainer
)
Mid-level-ontology.kif 5008-5008
Bottle
is a
subclass
of
fluid container
(
subclass
DrinkingCup
FluidContainer
)
Mid-level-ontology.kif 5027-5027
Drinking cup
is a
subclass
of
fluid container
(
subclass
SwimmingPool
FluidContainer
)
Mid-level-ontology.kif 5038-5038
Swimming pool
is a
subclass
of
fluid container
(
subclass
WhirlpoolTub
FluidContainer
)
Mid-level-ontology.kif 23180-23180
Whirlpool tub
is a
subclass
of
fluid container
(
subclass
FishTank
FluidContainer
)
Mid-level-ontology.kif 27662-27662
FishTank
is a
subclass
of
fluid container
(
subclass
Cask
FluidContainer
)
Food.kif 1000-1000
Cask
is a
subclass
of
fluid container
(
subclass
GasTank
FluidContainer
)
Cars.kif 976-976
Gas tank
is a
subclass
of
fluid container
(
subclass
OilPan
FluidContainer
)
Cars.kif 3290-3290
Oil pan
is a
subclass
of
fluid container
(
subclass
Balloon
FluidContainer
)
Cars.kif 3561-3561
Balloon
is a
subclass
of
fluid container
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
