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 27255-27255
Hydrogen
est une
sous
-classe de
substance �l�mentaire
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 27271-27271
Helium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 27287-27287
Lithium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 27301-27301
Beryllium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 27317-27317
Boron
est une
sous
-classe de
substance �l�mentaire
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 27336-27336
Carbon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 27354-27354
Nitrogen
est une
sous
-classe de
substance �l�mentaire
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 27372-27372
Oxygen
est une
sous
-classe de
substance �l�mentaire
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 27392-27392
Fluorine
est une
sous
-classe de
substance �l�mentaire
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 27409-27409
Neon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 27427-27427
Sodium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 27443-27443
Magnesium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 27461-27461
Aluminum
est une
sous
-classe de
substance �l�mentaire
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 27479-27479
Silicon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 27496-27496
Phosphorus
est une
sous
-classe de
substance �l�mentaire
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 27511-27511
Sulphur
est une
sous
-classe de
substance �l�mentaire
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 27527-27527
Chlorine
est une
sous
-classe de
substance �l�mentaire
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 27544-27544
Argon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 27559-27559
Potassium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 27575-27575
Calcium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 27590-27590
Scandium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 27606-27606
Titanium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 27622-27622
Vanadium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 27649-27649
Chromium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 27663-27663
Manganese
est une
sous
-classe de
substance �l�mentaire
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 27678-27678
Iron
est une
sous
-classe de
substance �l�mentaire
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 27695-27695
Cobalt
est une
sous
-classe de
substance �l�mentaire
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 27712-27712
Nickel
est une
sous
-classe de
substance �l�mentaire
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 27726-27726
Copper
est une
sous
-classe de
substance �l�mentaire
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 27742-27742
Zinc
est une
sous
-classe de
substance �l�mentaire
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 27758-27758
Gallium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 27776-27776
Germanium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 27792-27792
Arsenic
est une
sous
-classe de
substance �l�mentaire
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 27808-27808
Selenium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 27823-27823
Bromine
est une
sous
-classe de
substance �l�mentaire
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 27839-27839
Krypton
est une
sous
-classe de
substance �l�mentaire
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 27859-27859
Rubidium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 27876-27876
Strontium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 27893-27893
Yttrium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 27910-27910
Zirconium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 27926-27926
Niobium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 27943-27943
Molybdenum
est une
sous
-classe de
substance �l�mentaire
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 27966-27966
Technetium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 27985-27985
Ruthenium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 28001-28001
Rhodium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 28016-28016
Palladium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 28032-28032
Silver
est une
sous
-classe de
substance �l�mentaire
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 28047-28047
Cadmium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 28063-28063
Indium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 28079-28079
Tin
est une
sous
-classe de
substance �l�mentaire
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 28095-28095
Antimony
est une
sous
-classe de
substance �l�mentaire
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 28112-28112
Tellurium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 28128-28128
Iodine
est une
sous
-classe de
substance �l�mentaire
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 28146-28146
Xenon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 28163-28163
Caesium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 28189-28189
Barium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 28205-28205
Lanthanum
est une
sous
-classe de
substance �l�mentaire
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 28225-28225
Cerium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 28242-28242
Praseodymium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 28258-28258
Neodymium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 28284-28284
Promethium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 28304-28304
Samarium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 28325-28325
Europium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 28341-28341
Gadolinium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 28358-28358
Terbium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 28373-28373
Dysprosium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 28394-28394
Holmium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 28419-28419
Erbium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 28436-28436
Thulium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 28452-28452
Ytterbium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 28467-28467
Lutetium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 28489-28489
Hafnium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 28505-28505
Tantalum
est une
sous
-classe de
substance �l�mentaire
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 28522-28522
Tungsten
est une
sous
-classe de
substance �l�mentaire
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 28538-28538
Rhenium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 28553-28553
Osmium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 28567-28567
Iridium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 28591-28591
Platinum
est une
sous
-classe de
substance �l�mentaire
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 28617-28617
Gold
est une
sous
-classe de
substance �l�mentaire
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 28638-28638
Mercury
est une
sous
-classe de
substance �l�mentaire
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 28655-28655
Thallium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 28677-28677
Lead
est une
sous
-classe de
substance �l�mentaire
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 28693-28693
Bismuth
est une
sous
-classe de
substance �l�mentaire
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 28711-28711
Polonium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 28728-28728
Astatine
est une
sous
-classe de
substance �l�mentaire
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 28745-28745
Radon
est une
sous
-classe de
substance �l�mentaire
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 28763-28763
Francium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 28779-28779
Radium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 28795-28795
Actinium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 28813-28813
Thorium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 28830-28830
Protactinium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 28847-28847
Uranium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 28863-28863
Neptunium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 28881-28881
Plutonium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 28901-28901
Americium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 28918-28918
Curium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 28935-28935
Berkelium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 28952-28952
Californium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 28970-28970
Einsteinium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 28990-28990
Fermium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 29006-29006
Mendelevium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 29024-29024
Nobelium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 29041-29041
Lawrencium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 29063-29063
Unnilquadium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 29080-29080
Unnilpentium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 29095-29095
Unnilhexium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 29110-29110
Unnilseptium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 29125-29125
Unniloctium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 29138-29138
Meitnerium
est une
sous
-classe de
substance �l�mentaire
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 29155-29155
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