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:
(=>
(
and
(
subclass
?S
Mixture
)
(
initialPart
?S
Meat
)
(
initialPart
?S
FoodFromPlant
)
(
initialPart
?S
DrinkingWater
))
(
equal
?S
SoupStock
))
Food.kif 1633-1639
If
a kind of object
is a
subclass
of
mixture
and every
a kind of object
is
initially
part
of a
meat
and every
the kind of object
is
initially
part
of a
food from plant
and every
the kind of object
is
initially
part
of a
potable water
,
then
the kind of object
is
equal
to
soup stock
(
subclass
Mixture
Substance
)
Merge.kif 1182-1182
Mixture
is a
subclass
of
substance
(
subclass
GunPowder
Mixture
)
Mid-level-ontology.kif 1249-1249
Gun powder
is a
subclass
of
mixture
(
subclass
Sewage
Mixture
)
Mid-level-ontology.kif 2153-2153
Sewage
is a
subclass
of
mixture
(
subclass
Detergent
Mixture
)
Mid-level-ontology.kif 8832-8832
Detergent
is a
subclass
of
mixture
(
subclass
Glue
Mixture
)
Mid-level-ontology.kif 8897-8897
Glue
is a
subclass
of
mixture
(
subclass
Glass
Mixture
)
Mid-level-ontology.kif 8910-8910
Glass
is a
subclass
of
mixture
(
subclass
MetallicAlloy
Mixture
)
Mid-level-ontology.kif 8913-8913
Metallic alloy
is a
subclass
of
mixture
(
subclass
Soil
Mixture
)
Mid-level-ontology.kif 17921-17921
Soil
is a
subclass
of
mixture
(
subclass
Humus
Mixture
)
Mid-level-ontology.kif 17982-17982
Humus
is a
subclass
of
mixture
(
subclass
Vomit
Mixture
)
Mid-level-ontology.kif 21445-21445
Vomit
is a
subclass
of
mixture
(
subclass
Colloid
Mixture
)
Mid-level-ontology.kif 21557-21557
Colloid
is a
subclass
of
mixture
(
subclass
LiquidMixture
Mixture
)
Merge.kif 14709-14709
Liquid mixture
is a
subclass
of
mixture
(
subclass
GasMixture
Mixture
)
Merge.kif 14736-14736
Gas mixture
is a
subclass
of
mixture
(
subclass
Adderall
Mixture
)
Medicine.kif 4745-4745
Mydayis
is a
subclass
of
mixture
(
subclass
RingersLactate
Mixture
)
Medicine.kif 5836-5836
Hartmann's solution
is a
subclass
of
mixture
(
subclass
Gravel
Mixture
)
Geography.kif 4440-4440
Gravel
is a
subclass
of
mixture
(
subclass
ParticulateMatter
Mixture
)
Geography.kif 7403-7403
PM
is a
subclass
of
mixture
(
subclass
PreparedFood
Mixture
)
Food.kif 309-309
Prepared food
is a
subclass
of
mixture
(
subclass
Dough
Mixture
)
Food.kif 1600-1600
Dough
is a
subclass
of
mixture
(
subclass
VegetableOil
Mixture
)
Economy.kif 4557-4557
Vegetable oil
is a
subclass
of
mixture
(
subclass
Bauxite
Mixture
)
Economy.kif 5601-5601
Bauxite
is a
subclass
of
mixture
(
subclass
Concrete
Mixture
)
Economy.kif 5895-5895
Concrete
is a
subclass
of
mixture
(
subclass
Fertilizer
Mixture
)
Economy.kif 5975-5975
Fertilizer
is a
subclass
of
mixture
(
subclass
Gemstone
Mixture
)
Economy.kif 6098-6098
Gemstone
is a
subclass
of
mixture
(
subclass
Exhaust
Mixture
)
Cars.kif 1139-1139
Exhaust
is a
subclass
of
mixture
(
subclass
HydraulicFluid
Mixture
)
Cars.kif 1580-1580
Hydraulic fluid
is a
subclass
of
mixture
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