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
子類
ElementalSubstance
and
PureSubstance
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 27267-27267
子類
氫
and
ElementalSubstance
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 27283-27283
子類
氦
and
ElementalSubstance
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 27299-27299
子類
鋰
and
ElementalSubstance
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 27313-27313
子類
鈹
and
ElementalSubstance
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 27329-27329
子類
硼
and
ElementalSubstance
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 27348-27348
子類
碳
and
ElementalSubstance
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 27366-27366
子類
氮
and
ElementalSubstance
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 27384-27384
子類
氧
and
ElementalSubstance
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 27404-27404
子類
氟
and
ElementalSubstance
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 27421-27421
子類
氖
and
ElementalSubstance
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 27439-27439
子類
鈉
and
ElementalSubstance
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 27455-27455
子類
鎂
and
ElementalSubstance
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 27473-27473
子類
鋁
and
ElementalSubstance
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 27491-27491
子類
矽
and
ElementalSubstance
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 27508-27508
子類
磷
and
ElementalSubstance
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 27523-27523
子類
硫
and
ElementalSubstance
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 27539-27539
子類
氯
and
ElementalSubstance
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 27556-27556
子類
氬
and
ElementalSubstance
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 27571-27571
子類
鉀
and
ElementalSubstance
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 27587-27587
子類
鈣
and
ElementalSubstance
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 27602-27602
子類
鈧
and
ElementalSubstance
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 27618-27618
子類
鈦
and
ElementalSubstance
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 27634-27634
子類
釩
and
ElementalSubstance
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 27661-27661
子類
鉻
and
ElementalSubstance
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 27675-27675
子類
錳
and
ElementalSubstance
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 27690-27690
子類
鐵
and
ElementalSubstance
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 27707-27707
子類
鈷
and
ElementalSubstance
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 27724-27724
子類
鎳
and
ElementalSubstance
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 27738-27738
子類
銅
and
ElementalSubstance
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 27754-27754
子類
鋅
and
ElementalSubstance
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 27770-27770
子類
鎵
and
ElementalSubstance
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 27788-27788
子類
鍺
and
ElementalSubstance
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 27804-27804
子類
砷
and
ElementalSubstance
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 27820-27820
子類
硒
and
ElementalSubstance
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 27835-27835
子類
溴
and
ElementalSubstance
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 27851-27851
子類
氪
and
ElementalSubstance
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 27871-27871
子類
銣
and
ElementalSubstance
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 27888-27888
子類
鍶
and
ElementalSubstance
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 27905-27905
子類
釔
and
ElementalSubstance
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 27922-27922
子類
鋯
and
ElementalSubstance
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 27938-27938
子類
鈮
and
ElementalSubstance
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 27955-27955
子類
鉬
and
ElementalSubstance
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 27978-27978
子類
锝
and
ElementalSubstance
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 27997-27997
子類
釕
and
ElementalSubstance
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 28013-28013
子類
銠
and
ElementalSubstance
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 28028-28028
子類
鈀
and
ElementalSubstance
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 28044-28044
子類
銀
and
ElementalSubstance
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 28059-28059
子類
鎘
and
ElementalSubstance
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 28075-28075
子類
銦
and
ElementalSubstance
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 28091-28091
子類
錫
and
ElementalSubstance
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 28107-28107
子類
銻
and
ElementalSubstance
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 28124-28124
子類
碲
and
ElementalSubstance
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 28140-28140
子類
碘
and
ElementalSubstance
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 28158-28158
子類
氙
and
ElementalSubstance
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 28175-28175
子類
銫
and
ElementalSubstance
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 28201-28201
子類
鋇
and
ElementalSubstance
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 28217-28217
子類
鑭
and
ElementalSubstance
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 28237-28237
子類
鈰
and
ElementalSubstance
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 28254-28254
子類
镨
and
ElementalSubstance
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 28270-28270
子類
釹
and
ElementalSubstance
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 28296-28296
子類
钷
and
ElementalSubstance
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 28316-28316
子類
釤
and
ElementalSubstance
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 28337-28337
子類
銪
and
ElementalSubstance
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 28353-28353
子類
钆
and
ElementalSubstance
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 28370-28370
子類
铽
and
ElementalSubstance
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 28385-28385
子類
鏑
and
ElementalSubstance
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 28406-28406
子類
钬
and
ElementalSubstance
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 28431-28431
子類
鉺
and
ElementalSubstance
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 28448-28448
子類
铥
and
ElementalSubstance
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 28464-28464
子類
鐿
and
ElementalSubstance
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 28479-28479
子類
鎦
and
ElementalSubstance
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 28501-28501
子類
鉿
and
ElementalSubstance
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 28517-28517
子類
鉭
and
ElementalSubstance
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 28534-28534
子類
鎢
and
ElementalSubstance
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 28550-28550
子類
錸
and
ElementalSubstance
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 28565-28565
子類
鋨
and
ElementalSubstance
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 28579-28579
子類
銥
and
ElementalSubstance
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 28603-28603
子類
鉑
and
ElementalSubstance
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 28629-28629
子類
金
and
ElementalSubstance
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 28650-28650
子類
汞
and
ElementalSubstance
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 28667-28667
子類
鉈
and
ElementalSubstance
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 28689-28689
子類
鉛
and
ElementalSubstance
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 28705-28705
子類
鉍
and
ElementalSubstance
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 28723-28723
子類
釙
and
ElementalSubstance
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 28740-28740
子類
砹
and
ElementalSubstance
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 28757-28757
子類
氡
and
ElementalSubstance
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 28775-28775
子類
鈁
and
ElementalSubstance
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 28791-28791
子類
鐳
and
ElementalSubstance
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 28807-28807
子類
錒
and
ElementalSubstance
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 28825-28825
子類
釷
and
ElementalSubstance
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 28842-28842
子類
镤
and
ElementalSubstance
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 28859-28859
子類
鈾
and
ElementalSubstance
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 28875-28875
子類
镎
and
ElementalSubstance
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 28893-28893
子類
钚
and
ElementalSubstance
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 28913-28913
子類
銤
and
ElementalSubstance
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 28930-28930
子類
鋦
and
ElementalSubstance
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 28947-28947
子類
锫
and
ElementalSubstance
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 28964-28964
子類
锎
and
ElementalSubstance
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 28982-28982
子類
锿
and
ElementalSubstance
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 29002-29002
子類
鐨
and
ElementalSubstance
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 29018-29018
子類
鍆
and
ElementalSubstance
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 29036-29036
子類
锘
and
ElementalSubstance
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 29053-29053
子類
铹
and
ElementalSubstance
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 29075-29075
子類
unnilquadium
and
ElementalSubstance
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 29092-29092
子類
unnilpentium
and
ElementalSubstance
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 29107-29107
子類
unnilhexium
and
ElementalSubstance
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 29122-29122
子類
unnilseptium
and
ElementalSubstance
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 29137-29137
子類
unniloctium
and
ElementalSubstance
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 29150-29150
子類
䥑
and
ElementalSubstance
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 29167-29167
子類
unnildecium
and
ElementalSubstance
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1101-1101
子類
Metal
and
ElementalSubstance
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1108-1108
子類
Atom
and
ElementalSubstance
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1133-1133
子類
SubatomicParticle
and
ElementalSubstance
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