Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
ChinesehLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ElementalSubstance
PureSubstance
)
Merge.kif 1012-1012
Elemental substance
is a
subclass
of
pure substance
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 25560-25560
Hydrogen
is a
subclass
of
elemental substance
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 25575-25575
Helium
is a
subclass
of
elemental substance
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 25590-25590
Lithium
is a
subclass
of
elemental substance
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 25603-25603
Beryllium
is a
subclass
of
elemental substance
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 25618-25618
Boron
is a
subclass
of
elemental substance
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 25636-25636
Carbon
is a
subclass
of
elemental substance
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 25653-25653
Nitrogen
is a
subclass
of
elemental substance
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 25670-25670
Oxygen
is a
subclass
of
elemental substance
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 25689-25689
Fluorine
is a
subclass
of
elemental substance
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 25705-25705
Neon
is a
subclass
of
elemental substance
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 25722-25722
Sodium
is a
subclass
of
elemental substance
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 25737-25737
Magnesium
is a
subclass
of
elemental substance
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 25754-25754
Aluminum
is a
subclass
of
elemental substance
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 25771-25771
Silicon
is a
subclass
of
elemental substance
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 25787-25787
Phosphorus
is a
subclass
of
elemental substance
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 25801-25801
Sulphur
is a
subclass
of
elemental substance
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 25816-25816
Chlorine
is a
subclass
of
elemental substance
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 25832-25832
Argon
is a
subclass
of
elemental substance
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 25846-25846
Potassium
is a
subclass
of
elemental substance
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 25861-25861
Calcium
is a
subclass
of
elemental substance
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 25875-25875
Scandium
is a
subclass
of
elemental substance
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 25890-25890
Titanium
is a
subclass
of
elemental substance
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 25905-25905
Vanadium
is a
subclass
of
elemental substance
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 25931-25931
Chromium
is a
subclass
of
elemental substance
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 25944-25944
Manganese
is a
subclass
of
elemental substance
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 25958-25958
Iron
is a
subclass
of
elemental substance
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 25974-25974
Cobalt
is a
subclass
of
elemental substance
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 25990-25990
Nickel
is a
subclass
of
elemental substance
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 26003-26003
Copper
is a
subclass
of
elemental substance
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 26018-26018
Zinc
is a
subclass
of
elemental substance
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 26033-26033
Gallium
is a
subclass
of
elemental substance
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 26050-26050
Germanium
is a
subclass
of
elemental substance
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 26065-26065
Arsenic
is a
subclass
of
elemental substance
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 26080-26080
Selenium
is a
subclass
of
elemental substance
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 26094-26094
Bromine
is a
subclass
of
elemental substance
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 26109-26109
Krypton
is a
subclass
of
elemental substance
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 26128-26128
Rubidium
is a
subclass
of
elemental substance
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 26144-26144
Strontium
is a
subclass
of
elemental substance
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 26160-26160
Yttrium
is a
subclass
of
elemental substance
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 26176-26176
Zirconium
is a
subclass
of
elemental substance
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 26191-26191
Niobium
is a
subclass
of
elemental substance
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 26207-26207
Molybdenum
is a
subclass
of
elemental substance
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 26229-26229
Technetium
is a
subclass
of
elemental substance
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 26247-26247
Ruthenium
is a
subclass
of
elemental substance
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 26262-26262
Rhodium
is a
subclass
of
elemental substance
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 26276-26276
Palladium
is a
subclass
of
elemental substance
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 26291-26291
Silver
is a
subclass
of
elemental substance
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 26305-26305
Cadmium
is a
subclass
of
elemental substance
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 26320-26320
Indium
is a
subclass
of
elemental substance
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 26335-26335
Tin
is a
subclass
of
elemental substance
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 26350-26350
Antimony
is a
subclass
of
elemental substance
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 26366-26366
Tellurium
is a
subclass
of
elemental substance
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 26381-26381
Iodine
is a
subclass
of
elemental substance
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 26398-26398
Xenon
is a
subclass
of
elemental substance
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 26414-26414
Caesium
is a
subclass
of
elemental substance
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 26439-26439
Barium
is a
subclass
of
elemental substance
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 26454-26454
Lanthanum
is a
subclass
of
elemental substance
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 26473-26473
Cerium
is a
subclass
of
elemental substance
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 26489-26489
Praseodymium
is a
subclass
of
elemental substance
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 26504-26504
Neodymium
is a
subclass
of
elemental substance
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 26529-26529
Promethium
is a
subclass
of
elemental substance
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 26548-26548
Samarium
is a
subclass
of
elemental substance
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 26568-26568
Europium
is a
subclass
of
elemental substance
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 26583-26583
Gadolinium
is a
subclass
of
elemental substance
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 26599-26599
Terbium
is a
subclass
of
elemental substance
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 26613-26613
Dysprosium
is a
subclass
of
elemental substance
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 26633-26633
Holmium
is a
subclass
of
elemental substance
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 26657-26657
Erbium
is a
subclass
of
elemental substance
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 26673-26673
Thulium
is a
subclass
of
elemental substance
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 26688-26688
Ytterbium
is a
subclass
of
elemental substance
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 26702-26702
Lutetium
is a
subclass
of
elemental substance
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 26723-26723
Hafnium
is a
subclass
of
elemental substance
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 26738-26738
Tantalum
is a
subclass
of
elemental substance
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 26754-26754
Tungsten
is a
subclass
of
elemental substance
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 26769-26769
Rhenium
is a
subclass
of
elemental substance
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 26783-26783
Osmium
is a
subclass
of
elemental substance
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 26796-26796
Iridium
is a
subclass
of
elemental substance
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 26819-26819
Platinum
is a
subclass
of
elemental substance
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 26844-26844
Gold
is a
subclass
of
elemental substance
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 26864-26864
Mercury
is a
subclass
of
elemental substance
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 26880-26880
Thallium
is a
subclass
of
elemental substance
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 26901-26901
Lead
is a
subclass
of
elemental substance
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 26916-26916
Bismuth
is a
subclass
of
elemental substance
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 26933-26933
Polonium
is a
subclass
of
elemental substance
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 26949-26949
Astatine
is a
subclass
of
elemental substance
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 26965-26965
Radon
is a
subclass
of
elemental substance
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 26982-26982
Francium
is a
subclass
of
elemental substance
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 26997-26997
Radium
is a
subclass
of
elemental substance
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 27012-27012
Actinium
is a
subclass
of
elemental substance
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 27029-27029
Thorium
is a
subclass
of
elemental substance
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 27045-27045
Protactinium
is a
subclass
of
elemental substance
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 27061-27061
Uranium
is a
subclass
of
elemental substance
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 27076-27076
Neptunium
is a
subclass
of
elemental substance
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 27093-27093
Plutonium
is a
subclass
of
elemental substance
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 27112-27112
Americium
is a
subclass
of
elemental substance
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 27128-27128
Curium
is a
subclass
of
elemental substance
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 27144-27144
Berkelium
is a
subclass
of
elemental substance
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 27160-27160
Californium
is a
subclass
of
elemental substance
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 27177-27177
Einsteinium
is a
subclass
of
elemental substance
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 27196-27196
Fermium
is a
subclass
of
elemental substance
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 27211-27211
Mendelevium
is a
subclass
of
elemental substance
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 27228-27228
Nobelium
is a
subclass
of
elemental substance
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 27244-27244
Lawrencium
is a
subclass
of
elemental substance
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 27265-27265
Unnilquadium
is a
subclass
of
elemental substance
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 27281-27281
Unnilpentium
is a
subclass
of
elemental substance
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 27295-27295
Unnilhexium
is a
subclass
of
elemental substance
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 27309-27309
Unnilseptium
is a
subclass
of
elemental substance
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 27323-27323
Unniloctium
is a
subclass
of
elemental substance
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 27335-27335
Meitnerium
is a
subclass
of
elemental substance
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 27351-27351
Unnildecium
is a
subclass
of
elemental substance
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1020-1020
Metal
is a
subclass
of
elemental substance
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1027-1027
Atom
is a
subclass
of
elemental substance
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1052-1052
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
