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