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
Wenn
** Object
ist eine
teilkategorie
von
Mixture
und
initialPart
** Object
and
Meat
und
initialPart
** ** Object
and
FoodFromPlant
und
initialPart
** ** Object
and
DrinkingWater
,
dann
** ** Object
ist gleich
SoupStock
%n{nicht}
(
subclass
Mixture
Substance
)
Merge.kif 1182-1182
Mixture
ist eine
teilkategorie
von
Substance
(
subclass
GunPowder
Mixture
)
Mid-level-ontology.kif 1249-1249
GunPowder
ist eine
teilkategorie
von
Mixture
(
subclass
Sewage
Mixture
)
Mid-level-ontology.kif 2153-2153
Sewage
ist eine
teilkategorie
von
Mixture
(
subclass
Detergent
Mixture
)
Mid-level-ontology.kif 8832-8832
Detergent
ist eine
teilkategorie
von
Mixture
(
subclass
Glue
Mixture
)
Mid-level-ontology.kif 8897-8897
Glue
ist eine
teilkategorie
von
Mixture
(
subclass
Glass
Mixture
)
Mid-level-ontology.kif 8910-8910
Glass
ist eine
teilkategorie
von
Mixture
(
subclass
MetallicAlloy
Mixture
)
Mid-level-ontology.kif 8913-8913
MetallicAlloy
ist eine
teilkategorie
von
Mixture
(
subclass
Soil
Mixture
)
Mid-level-ontology.kif 17921-17921
Soil
ist eine
teilkategorie
von
Mixture
(
subclass
Humus
Mixture
)
Mid-level-ontology.kif 17982-17982
Humus
ist eine
teilkategorie
von
Mixture
(
subclass
Vomit
Mixture
)
Mid-level-ontology.kif 21445-21445
Vomit
ist eine
teilkategorie
von
Mixture
(
subclass
Colloid
Mixture
)
Mid-level-ontology.kif 21557-21557
Colloid
ist eine
teilkategorie
von
Mixture
(
subclass
LiquidMixture
Mixture
)
Merge.kif 14709-14709
LiquidMixture
ist eine
teilkategorie
von
Mixture
(
subclass
GasMixture
Mixture
)
Merge.kif 14736-14736
GasMixture
ist eine
teilkategorie
von
Mixture
(
subclass
Adderall
Mixture
)
Medicine.kif 4745-4745
Adderall
ist eine
teilkategorie
von
Mixture
(
subclass
RingersLactate
Mixture
)
Medicine.kif 5836-5836
RingersLactate
ist eine
teilkategorie
von
Mixture
(
subclass
Gravel
Mixture
)
Geography.kif 4440-4440
Gravel
ist eine
teilkategorie
von
Mixture
(
subclass
ParticulateMatter
Mixture
)
Geography.kif 7403-7403
ParticulateMatter
ist eine
teilkategorie
von
Mixture
(
subclass
PreparedFood
Mixture
)
Food.kif 309-309
PreparedFood
ist eine
teilkategorie
von
Mixture
(
subclass
Dough
Mixture
)
Food.kif 1600-1600
Dough
ist eine
teilkategorie
von
Mixture
(
subclass
VegetableOil
Mixture
)
Economy.kif 4557-4557
VegetableOil
ist eine
teilkategorie
von
Mixture
(
subclass
Bauxite
Mixture
)
Economy.kif 5601-5601
Bauxite
ist eine
teilkategorie
von
Mixture
(
subclass
Concrete
Mixture
)
Economy.kif 5895-5895
Concrete
ist eine
teilkategorie
von
Mixture
(
subclass
Fertilizer
Mixture
)
Economy.kif 5975-5975
Fertilizer
ist eine
teilkategorie
von
Mixture
(
subclass
Gemstone
Mixture
)
Economy.kif 6098-6098
Gemstone
ist eine
teilkategorie
von
Mixture
(
subclass
Exhaust
Mixture
)
Cars.kif 1139-1139
Exhaust
ist eine
teilkategorie
von
Mixture
(
subclass
HydraulicFluid
Mixture
)
Cars.kif 1580-1580
HydraulicFluid
ist eine
teilkategorie
von
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