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:
(
subclass
ElementalSubstance
PureSubstance
)
Merge.kif 1093-1093
Elemental substance
is a
subclass
of
pure substance
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 27267-27267
Hydrogen
is a
subclass
of
elemental substance
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 27283-27283
Helium
is a
subclass
of
elemental substance
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 27299-27299
Lithium
is a
subclass
of
elemental substance
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 27313-27313
Beryllium
is a
subclass
of
elemental substance
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 27329-27329
Boron
is a
subclass
of
elemental substance
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 27348-27348
Carbon
is a
subclass
of
elemental substance
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 27366-27366
Nitrogen
is a
subclass
of
elemental substance
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 27384-27384
Oxygen
is a
subclass
of
elemental substance
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 27404-27404
Fluorine
is a
subclass
of
elemental substance
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 27421-27421
Neon
is a
subclass
of
elemental substance
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 27439-27439
Sodium
is a
subclass
of
elemental substance
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 27455-27455
Magnesium
is a
subclass
of
elemental substance
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 27473-27473
Aluminum
is a
subclass
of
elemental substance
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 27491-27491
Silicon
is a
subclass
of
elemental substance
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 27508-27508
Phosphorus
is a
subclass
of
elemental substance
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 27523-27523
Sulphur
is a
subclass
of
elemental substance
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 27539-27539
Chlorine
is a
subclass
of
elemental substance
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 27556-27556
Argon
is a
subclass
of
elemental substance
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 27571-27571
Potassium
is a
subclass
of
elemental substance
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 27587-27587
Calcium
is a
subclass
of
elemental substance
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 27602-27602
Scandium
is a
subclass
of
elemental substance
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 27618-27618
Titanium
is a
subclass
of
elemental substance
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 27634-27634
Vanadium
is a
subclass
of
elemental substance
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 27661-27661
Chromium
is a
subclass
of
elemental substance
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 27675-27675
Manganese
is a
subclass
of
elemental substance
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 27690-27690
Iron
is a
subclass
of
elemental substance
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 27707-27707
Cobalt
is a
subclass
of
elemental substance
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 27724-27724
Nickel
is a
subclass
of
elemental substance
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 27738-27738
Copper
is a
subclass
of
elemental substance
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 27754-27754
Zinc
is a
subclass
of
elemental substance
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 27770-27770
Gallium
is a
subclass
of
elemental substance
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 27788-27788
Germanium
is a
subclass
of
elemental substance
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 27804-27804
Arsenic
is a
subclass
of
elemental substance
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 27820-27820
Selenium
is a
subclass
of
elemental substance
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 27835-27835
Bromine
is a
subclass
of
elemental substance
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 27851-27851
Krypton
is a
subclass
of
elemental substance
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 27871-27871
Rubidium
is a
subclass
of
elemental substance
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 27888-27888
Strontium
is a
subclass
of
elemental substance
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 27905-27905
Yttrium
is a
subclass
of
elemental substance
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 27922-27922
Zirconium
is a
subclass
of
elemental substance
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 27938-27938
Niobium
is a
subclass
of
elemental substance
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 27955-27955
Molybdenum
is a
subclass
of
elemental substance
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 27978-27978
Technetium
is a
subclass
of
elemental substance
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 27997-27997
Ruthenium
is a
subclass
of
elemental substance
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 28013-28013
Rhodium
is a
subclass
of
elemental substance
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 28028-28028
Palladium
is a
subclass
of
elemental substance
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 28044-28044
Silver
is a
subclass
of
elemental substance
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 28059-28059
Cadmium
is a
subclass
of
elemental substance
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 28075-28075
Indium
is a
subclass
of
elemental substance
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 28091-28091
Tin
is a
subclass
of
elemental substance
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 28107-28107
Antimony
is a
subclass
of
elemental substance
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 28124-28124
Tellurium
is a
subclass
of
elemental substance
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 28140-28140
Iodine
is a
subclass
of
elemental substance
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 28158-28158
Xenon
is a
subclass
of
elemental substance
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 28175-28175
Caesium
is a
subclass
of
elemental substance
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 28201-28201
Barium
is a
subclass
of
elemental substance
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 28217-28217
Lanthanum
is a
subclass
of
elemental substance
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 28237-28237
Cerium
is a
subclass
of
elemental substance
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 28254-28254
Praseodymium
is a
subclass
of
elemental substance
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 28270-28270
Neodymium
is a
subclass
of
elemental substance
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 28296-28296
Promethium
is a
subclass
of
elemental substance
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 28316-28316
Samarium
is a
subclass
of
elemental substance
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 28337-28337
Europium
is a
subclass
of
elemental substance
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 28353-28353
Gadolinium
is a
subclass
of
elemental substance
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 28370-28370
Terbium
is a
subclass
of
elemental substance
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 28385-28385
Dysprosium
is a
subclass
of
elemental substance
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 28406-28406
Holmium
is a
subclass
of
elemental substance
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 28431-28431
Erbium
is a
subclass
of
elemental substance
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 28448-28448
Thulium
is a
subclass
of
elemental substance
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 28464-28464
Ytterbium
is a
subclass
of
elemental substance
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 28479-28479
Lutetium
is a
subclass
of
elemental substance
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 28501-28501
Hafnium
is a
subclass
of
elemental substance
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 28517-28517
Tantalum
is a
subclass
of
elemental substance
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 28534-28534
Tungsten
is a
subclass
of
elemental substance
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 28550-28550
Rhenium
is a
subclass
of
elemental substance
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 28565-28565
Osmium
is a
subclass
of
elemental substance
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 28579-28579
Iridium
is a
subclass
of
elemental substance
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 28603-28603
Platinum
is a
subclass
of
elemental substance
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 28629-28629
Gold
is a
subclass
of
elemental substance
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 28650-28650
Mercury
is a
subclass
of
elemental substance
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 28667-28667
Thallium
is a
subclass
of
elemental substance
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 28689-28689
Lead
is a
subclass
of
elemental substance
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 28705-28705
Bismuth
is a
subclass
of
elemental substance
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 28723-28723
Polonium
is a
subclass
of
elemental substance
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 28740-28740
Astatine
is a
subclass
of
elemental substance
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 28757-28757
Radon
is a
subclass
of
elemental substance
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 28775-28775
Francium
is a
subclass
of
elemental substance
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 28791-28791
Radium
is a
subclass
of
elemental substance
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 28807-28807
Actinium
is a
subclass
of
elemental substance
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 28825-28825
Thorium
is a
subclass
of
elemental substance
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 28842-28842
Protactinium
is a
subclass
of
elemental substance
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 28859-28859
Uranium
is a
subclass
of
elemental substance
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 28875-28875
Neptunium
is a
subclass
of
elemental substance
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 28893-28893
Plutonium
is a
subclass
of
elemental substance
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 28913-28913
Americium
is a
subclass
of
elemental substance
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 28930-28930
Curium
is a
subclass
of
elemental substance
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 28947-28947
Berkelium
is a
subclass
of
elemental substance
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 28964-28964
Californium
is a
subclass
of
elemental substance
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 28982-28982
Einsteinium
is a
subclass
of
elemental substance
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 29002-29002
Fermium
is a
subclass
of
elemental substance
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 29018-29018
Mendelevium
is a
subclass
of
elemental substance
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 29036-29036
Nobelium
is a
subclass
of
elemental substance
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 29053-29053
Lawrencium
is a
subclass
of
elemental substance
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 29075-29075
Unnilquadium
is a
subclass
of
elemental substance
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 29092-29092
Unnilpentium
is a
subclass
of
elemental substance
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 29107-29107
Unnilhexium
is a
subclass
of
elemental substance
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 29122-29122
Unnilseptium
is a
subclass
of
elemental substance
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 29137-29137
Unniloctium
is a
subclass
of
elemental substance
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 29150-29150
Meitnerium
is a
subclass
of
elemental substance
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 29167-29167
Unnildecium
is a
subclass
of
elemental substance
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1101-1101
Metal
is a
subclass
of
elemental substance
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1108-1108
Atom
is a
subclass
of
elemental substance
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1133-1133
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