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
ElementalSubstance
PureSubstance
)
Merge.kif 1103-1103
Elemental substance
is a
subclass
of
pure substance
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 29186-29186
Hydrogen
is a
subclass
of
elemental substance
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 29202-29202
Helium
is a
subclass
of
elemental substance
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 29218-29218
Lithium
is a
subclass
of
elemental substance
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 29232-29232
Beryllium
is a
subclass
of
elemental substance
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 29248-29248
Boron
is a
subclass
of
elemental substance
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 29267-29267
Carbon
is a
subclass
of
elemental substance
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 29285-29285
Nitrogen
is a
subclass
of
elemental substance
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 29303-29303
Oxygen
is a
subclass
of
elemental substance
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 29323-29323
Fluorine
is a
subclass
of
elemental substance
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 29340-29340
Neon
is a
subclass
of
elemental substance
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 29358-29358
Sodium
is a
subclass
of
elemental substance
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 29374-29374
Magnesium
is a
subclass
of
elemental substance
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 29392-29392
Aluminum
is a
subclass
of
elemental substance
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 29410-29410
Silicon
is a
subclass
of
elemental substance
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 29427-29427
Phosphorus
is a
subclass
of
elemental substance
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 29442-29442
Sulphur
is a
subclass
of
elemental substance
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 29458-29458
Chlorine
is a
subclass
of
elemental substance
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 29475-29475
Argon
is a
subclass
of
elemental substance
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 29490-29490
Potassium
is a
subclass
of
elemental substance
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 29506-29506
Calcium
is a
subclass
of
elemental substance
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 29521-29521
Scandium
is a
subclass
of
elemental substance
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 29537-29537
Titanium
is a
subclass
of
elemental substance
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 29553-29553
Vanadium
is a
subclass
of
elemental substance
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 29580-29580
Chromium
is a
subclass
of
elemental substance
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 29594-29594
Manganese
is a
subclass
of
elemental substance
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 29609-29609
Iron
is a
subclass
of
elemental substance
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 29626-29626
Cobalt
is a
subclass
of
elemental substance
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 29643-29643
Nickel
is a
subclass
of
elemental substance
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 29657-29657
Copper
is a
subclass
of
elemental substance
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 29673-29673
Zinc
is a
subclass
of
elemental substance
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 29689-29689
Gallium
is a
subclass
of
elemental substance
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 29707-29707
Germanium
is a
subclass
of
elemental substance
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 29723-29723
Arsenic
is a
subclass
of
elemental substance
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 29739-29739
Selenium
is a
subclass
of
elemental substance
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 29754-29754
Bromine
is a
subclass
of
elemental substance
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 29770-29770
Krypton
is a
subclass
of
elemental substance
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 29790-29790
Rubidium
is a
subclass
of
elemental substance
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 29807-29807
Strontium
is a
subclass
of
elemental substance
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 29824-29824
Yttrium
is a
subclass
of
elemental substance
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 29841-29841
Zirconium
is a
subclass
of
elemental substance
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 29857-29857
Niobium
is a
subclass
of
elemental substance
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 29874-29874
Molybdenum
is a
subclass
of
elemental substance
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 29897-29897
Technetium
is a
subclass
of
elemental substance
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 29916-29916
Ruthenium
is a
subclass
of
elemental substance
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 29932-29932
Rhodium
is a
subclass
of
elemental substance
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 29947-29947
Palladium
is a
subclass
of
elemental substance
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 29963-29963
Silver
is a
subclass
of
elemental substance
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 29978-29978
Cadmium
is a
subclass
of
elemental substance
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 29994-29994
Indium
is a
subclass
of
elemental substance
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 30010-30010
Tin
is a
subclass
of
elemental substance
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 30026-30026
Antimony
is a
subclass
of
elemental substance
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 30043-30043
Tellurium
is a
subclass
of
elemental substance
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 30059-30059
Iodine
is a
subclass
of
elemental substance
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 30077-30077
Xenon
is a
subclass
of
elemental substance
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 30094-30094
Caesium
is a
subclass
of
elemental substance
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 30120-30120
Barium
is a
subclass
of
elemental substance
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 30136-30136
Lanthanum
is a
subclass
of
elemental substance
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 30156-30156
Cerium
is a
subclass
of
elemental substance
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 30173-30173
Praseodymium
is a
subclass
of
elemental substance
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 30189-30189
Neodymium
is a
subclass
of
elemental substance
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 30215-30215
Promethium
is a
subclass
of
elemental substance
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 30235-30235
Samarium
is a
subclass
of
elemental substance
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 30256-30256
Europium
is a
subclass
of
elemental substance
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 30272-30272
Gadolinium
is a
subclass
of
elemental substance
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 30289-30289
Terbium
is a
subclass
of
elemental substance
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 30304-30304
Dysprosium
is a
subclass
of
elemental substance
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 30325-30325
Holmium
is a
subclass
of
elemental substance
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 30350-30350
Erbium
is a
subclass
of
elemental substance
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 30367-30367
Thulium
is a
subclass
of
elemental substance
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 30383-30383
Ytterbium
is a
subclass
of
elemental substance
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 30398-30398
Lutetium
is a
subclass
of
elemental substance
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 30420-30420
Hafnium
is a
subclass
of
elemental substance
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 30436-30436
Tantalum
is a
subclass
of
elemental substance
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 30453-30453
Tungsten
is a
subclass
of
elemental substance
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 30469-30469
Rhenium
is a
subclass
of
elemental substance
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 30484-30484
Osmium
is a
subclass
of
elemental substance
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 30498-30498
Iridium
is a
subclass
of
elemental substance
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 30522-30522
Platinum
is a
subclass
of
elemental substance
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 30548-30548
Gold
is a
subclass
of
elemental substance
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 30569-30569
Mercury
is a
subclass
of
elemental substance
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 30586-30586
Thallium
is a
subclass
of
elemental substance
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 30608-30608
Lead
is a
subclass
of
elemental substance
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 30624-30624
Bismuth
is a
subclass
of
elemental substance
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 30642-30642
Polonium
is a
subclass
of
elemental substance
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 30659-30659
Astatine
is a
subclass
of
elemental substance
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 30676-30676
Radon
is a
subclass
of
elemental substance
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 30694-30694
Francium
is a
subclass
of
elemental substance
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 30710-30710
Radium
is a
subclass
of
elemental substance
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 30726-30726
Actinium
is a
subclass
of
elemental substance
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 30744-30744
Thorium
is a
subclass
of
elemental substance
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 30761-30761
Protactinium
is a
subclass
of
elemental substance
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 30778-30778
Uranium
is a
subclass
of
elemental substance
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 30794-30794
Neptunium
is a
subclass
of
elemental substance
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 30812-30812
Plutonium
is a
subclass
of
elemental substance
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 30832-30832
Americium
is a
subclass
of
elemental substance
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 30849-30849
Curium
is a
subclass
of
elemental substance
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 30866-30866
Berkelium
is a
subclass
of
elemental substance
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 30883-30883
Californium
is a
subclass
of
elemental substance
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 30901-30901
Einsteinium
is a
subclass
of
elemental substance
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 30921-30921
Fermium
is a
subclass
of
elemental substance
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 30937-30937
Mendelevium
is a
subclass
of
elemental substance
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 30955-30955
Nobelium
is a
subclass
of
elemental substance
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 30972-30972
Lawrencium
is a
subclass
of
elemental substance
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 30994-30994
Unnilquadium
is a
subclass
of
elemental substance
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 31011-31011
Unnilpentium
is a
subclass
of
elemental substance
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 31026-31026
Unnilhexium
is a
subclass
of
elemental substance
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 31041-31041
Unnilseptium
is a
subclass
of
elemental substance
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 31056-31056
Unniloctium
is a
subclass
of
elemental substance
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 31069-31069
Meitnerium
is a
subclass
of
elemental substance
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 31086-31086
Unnildecium
is a
subclass
of
elemental substance
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1111-1111
Metal
is a
subclass
of
elemental substance
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1118-1118
Atom
is a
subclass
of
elemental substance
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1143-1143
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
