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
termFormat
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ElementalSubstance
PureSubstance
)
Merge.kif 1128-1128
Elemental substance
is a
subclass
of
pure substance
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 29172-29172
Hydrogen
is a
subclass
of
elemental substance
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 29188-29188
Helium
is a
subclass
of
elemental substance
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 29204-29204
Lithium
is a
subclass
of
elemental substance
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 29218-29218
Beryllium
is a
subclass
of
elemental substance
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 29234-29234
Boron
is a
subclass
of
elemental substance
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 29253-29253
Carbon
is a
subclass
of
elemental substance
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 29271-29271
Nitrogen
is a
subclass
of
elemental substance
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 29289-29289
Oxygen
is a
subclass
of
elemental substance
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 29309-29309
Fluorine
is a
subclass
of
elemental substance
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 29326-29326
Neon
is a
subclass
of
elemental substance
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 29344-29344
Sodium
is a
subclass
of
elemental substance
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 29360-29360
Magnesium
is a
subclass
of
elemental substance
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 29378-29378
Aluminum
is a
subclass
of
elemental substance
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 29396-29396
Silicon
is a
subclass
of
elemental substance
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 29413-29413
Phosphorus
is a
subclass
of
elemental substance
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 29428-29428
Sulphur
is a
subclass
of
elemental substance
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 29444-29444
Chlorine
is a
subclass
of
elemental substance
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 29461-29461
Argon
is a
subclass
of
elemental substance
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 29476-29476
Potassium
is a
subclass
of
elemental substance
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 29492-29492
Calcium
is a
subclass
of
elemental substance
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 29507-29507
Scandium
is a
subclass
of
elemental substance
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 29523-29523
Titanium
is a
subclass
of
elemental substance
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 29539-29539
Vanadium
is a
subclass
of
elemental substance
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 29566-29566
Chromium
is a
subclass
of
elemental substance
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 29580-29580
Manganese
is a
subclass
of
elemental substance
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 29595-29595
Iron
is a
subclass
of
elemental substance
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 29612-29612
Cobalt
is a
subclass
of
elemental substance
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 29629-29629
Nickel
is a
subclass
of
elemental substance
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 29643-29643
Copper
is a
subclass
of
elemental substance
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 29659-29659
Zinc
is a
subclass
of
elemental substance
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 29675-29675
Gallium
is a
subclass
of
elemental substance
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 29693-29693
Germanium
is a
subclass
of
elemental substance
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 29709-29709
Arsenic
is a
subclass
of
elemental substance
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 29725-29725
Selenium
is a
subclass
of
elemental substance
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 29740-29740
Bromine
is a
subclass
of
elemental substance
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 29756-29756
Krypton
is a
subclass
of
elemental substance
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 29776-29776
Rubidium
is a
subclass
of
elemental substance
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 29793-29793
Strontium
is a
subclass
of
elemental substance
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 29810-29810
Yttrium
is a
subclass
of
elemental substance
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 29827-29827
Zirconium
is a
subclass
of
elemental substance
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 29843-29843
Niobium
is a
subclass
of
elemental substance
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 29860-29860
Molybdenum
is a
subclass
of
elemental substance
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 29883-29883
Technetium
is a
subclass
of
elemental substance
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 29902-29902
Ruthenium
is a
subclass
of
elemental substance
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 29918-29918
Rhodium
is a
subclass
of
elemental substance
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 29933-29933
Palladium
is a
subclass
of
elemental substance
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 29949-29949
Silver
is a
subclass
of
elemental substance
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 29964-29964
Cadmium
is a
subclass
of
elemental substance
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 29980-29980
Indium
is a
subclass
of
elemental substance
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 29996-29996
Tin
is a
subclass
of
elemental substance
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 30012-30012
Antimony
is a
subclass
of
elemental substance
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 30029-30029
Tellurium
is a
subclass
of
elemental substance
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 30045-30045
Iodine
is a
subclass
of
elemental substance
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 30063-30063
Xenon
is a
subclass
of
elemental substance
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 30080-30080
Caesium
is a
subclass
of
elemental substance
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 30106-30106
Barium
is a
subclass
of
elemental substance
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 30122-30122
Lanthanum
is a
subclass
of
elemental substance
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 30142-30142
Cerium
is a
subclass
of
elemental substance
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 30159-30159
Praseodymium
is a
subclass
of
elemental substance
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 30175-30175
Neodymium
is a
subclass
of
elemental substance
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 30201-30201
Promethium
is a
subclass
of
elemental substance
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 30221-30221
Samarium
is a
subclass
of
elemental substance
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 30242-30242
Europium
is a
subclass
of
elemental substance
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 30258-30258
Gadolinium
is a
subclass
of
elemental substance
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 30275-30275
Terbium
is a
subclass
of
elemental substance
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 30290-30290
Dysprosium
is a
subclass
of
elemental substance
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 30311-30311
Holmium
is a
subclass
of
elemental substance
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 30336-30336
Erbium
is a
subclass
of
elemental substance
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 30353-30353
Thulium
is a
subclass
of
elemental substance
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 30369-30369
Ytterbium
is a
subclass
of
elemental substance
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 30384-30384
Lutetium
is a
subclass
of
elemental substance
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 30406-30406
Hafnium
is a
subclass
of
elemental substance
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 30422-30422
Tantalum
is a
subclass
of
elemental substance
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 30439-30439
Tungsten
is a
subclass
of
elemental substance
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 30455-30455
Rhenium
is a
subclass
of
elemental substance
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 30470-30470
Osmium
is a
subclass
of
elemental substance
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 30484-30484
Iridium
is a
subclass
of
elemental substance
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 30508-30508
Platinum
is a
subclass
of
elemental substance
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 30534-30534
Gold
is a
subclass
of
elemental substance
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 30555-30555
Mercury
is a
subclass
of
elemental substance
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 30572-30572
Thallium
is a
subclass
of
elemental substance
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 30594-30594
Lead
is a
subclass
of
elemental substance
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 30610-30610
Bismuth
is a
subclass
of
elemental substance
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 30628-30628
Polonium
is a
subclass
of
elemental substance
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 30645-30645
Astatine
is a
subclass
of
elemental substance
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 30662-30662
Radon
is a
subclass
of
elemental substance
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 30680-30680
Francium
is a
subclass
of
elemental substance
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 30696-30696
Radium
is a
subclass
of
elemental substance
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 30712-30712
Actinium
is a
subclass
of
elemental substance
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 30730-30730
Thorium
is a
subclass
of
elemental substance
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 30747-30747
Protactinium
is a
subclass
of
elemental substance
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 30764-30764
Uranium
is a
subclass
of
elemental substance
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 30780-30780
Neptunium
is a
subclass
of
elemental substance
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 30798-30798
Plutonium
is a
subclass
of
elemental substance
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 30818-30818
Americium
is a
subclass
of
elemental substance
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 30835-30835
Curium
is a
subclass
of
elemental substance
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 30852-30852
Berkelium
is a
subclass
of
elemental substance
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 30869-30869
Californium
is a
subclass
of
elemental substance
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 30887-30887
Einsteinium
is a
subclass
of
elemental substance
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 30907-30907
Fermium
is a
subclass
of
elemental substance
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 30923-30923
Mendelevium
is a
subclass
of
elemental substance
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 30941-30941
Nobelium
is a
subclass
of
elemental substance
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 30958-30958
Lawrencium
is a
subclass
of
elemental substance
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 30980-30980
Unnilquadium
is a
subclass
of
elemental substance
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 30997-30997
Unnilpentium
is a
subclass
of
elemental substance
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 31012-31012
Unnilhexium
is a
subclass
of
elemental substance
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 31027-31027
Unnilseptium
is a
subclass
of
elemental substance
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 31042-31042
Unniloctium
is a
subclass
of
elemental substance
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 31055-31055
Meitnerium
is a
subclass
of
elemental substance
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 31072-31072
Unnildecium
is a
subclass
of
elemental substance
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1136-1136
Metal
is a
subclass
of
elemental substance
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1143-1143
Atom
is a
subclass
of
elemental substance
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1168-1168
Subatomic particle
is a
subclass
of
elemental substance
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
