Term Intersection
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
ElementalSubstance
PureSubstance
)
Merge.kif 1082-1082
元素物质
是
純物质
的
subclass
(
subclass
Hydrogen
ElementalSubstance
)
Mid-level-ontology.kif 27183-27183
氢
是
元素物质
的
subclass
(
subclass
Helium
ElementalSubstance
)
Mid-level-ontology.kif 27199-27199
氦
是
元素物质
的
subclass
(
subclass
Lithium
ElementalSubstance
)
Mid-level-ontology.kif 27215-27215
锂
是
元素物质
的
subclass
(
subclass
Beryllium
ElementalSubstance
)
Mid-level-ontology.kif 27229-27229
铍
是
元素物质
的
subclass
(
subclass
Boron
ElementalSubstance
)
Mid-level-ontology.kif 27245-27245
硼
是
元素物质
的
subclass
(
subclass
Carbon
ElementalSubstance
)
Mid-level-ontology.kif 27264-27264
碳
是
元素物质
的
subclass
(
subclass
Nitrogen
ElementalSubstance
)
Mid-level-ontology.kif 27282-27282
氮
是
元素物质
的
subclass
(
subclass
Oxygen
ElementalSubstance
)
Mid-level-ontology.kif 27300-27300
氧
是
元素物质
的
subclass
(
subclass
Fluorine
ElementalSubstance
)
Mid-level-ontology.kif 27320-27320
氟
是
元素物质
的
subclass
(
subclass
Neon
ElementalSubstance
)
Mid-level-ontology.kif 27337-27337
氖
是
元素物质
的
subclass
(
subclass
Sodium
ElementalSubstance
)
Mid-level-ontology.kif 27355-27355
钠
是
元素物质
的
subclass
(
subclass
Magnesium
ElementalSubstance
)
Mid-level-ontology.kif 27371-27371
镁
是
元素物质
的
subclass
(
subclass
Aluminum
ElementalSubstance
)
Mid-level-ontology.kif 27389-27389
铝
是
元素物质
的
subclass
(
subclass
Silicon
ElementalSubstance
)
Mid-level-ontology.kif 27407-27407
硅
是
元素物质
的
subclass
(
subclass
Phosphorus
ElementalSubstance
)
Mid-level-ontology.kif 27424-27424
磷
是
元素物质
的
subclass
(
subclass
Sulphur
ElementalSubstance
)
Mid-level-ontology.kif 27439-27439
硫
是
元素物质
的
subclass
(
subclass
Chlorine
ElementalSubstance
)
Mid-level-ontology.kif 27455-27455
氯
是
元素物质
的
subclass
(
subclass
Argon
ElementalSubstance
)
Mid-level-ontology.kif 27472-27472
氩
是
元素物质
的
subclass
(
subclass
Potassium
ElementalSubstance
)
Mid-level-ontology.kif 27487-27487
钾
是
元素物质
的
subclass
(
subclass
Calcium
ElementalSubstance
)
Mid-level-ontology.kif 27503-27503
钙
是
元素物质
的
subclass
(
subclass
Scandium
ElementalSubstance
)
Mid-level-ontology.kif 27518-27518
钪
是
元素物质
的
subclass
(
subclass
Titanium
ElementalSubstance
)
Mid-level-ontology.kif 27534-27534
钛
是
元素物质
的
subclass
(
subclass
Vanadium
ElementalSubstance
)
Mid-level-ontology.kif 27550-27550
钒
是
元素物质
的
subclass
(
subclass
Chromium
ElementalSubstance
)
Mid-level-ontology.kif 27577-27577
铬
是
元素物质
的
subclass
(
subclass
Manganese
ElementalSubstance
)
Mid-level-ontology.kif 27591-27591
锰
是
元素物质
的
subclass
(
subclass
Iron
ElementalSubstance
)
Mid-level-ontology.kif 27606-27606
铁
是
元素物质
的
subclass
(
subclass
Cobalt
ElementalSubstance
)
Mid-level-ontology.kif 27623-27623
钴
是
元素物质
的
subclass
(
subclass
Nickel
ElementalSubstance
)
Mid-level-ontology.kif 27640-27640
镍
是
元素物质
的
subclass
(
subclass
Copper
ElementalSubstance
)
Mid-level-ontology.kif 27654-27654
铜
是
元素物质
的
subclass
(
subclass
Zinc
ElementalSubstance
)
Mid-level-ontology.kif 27670-27670
锌
是
元素物质
的
subclass
(
subclass
Gallium
ElementalSubstance
)
Mid-level-ontology.kif 27686-27686
镓
是
元素物质
的
subclass
(
subclass
Germanium
ElementalSubstance
)
Mid-level-ontology.kif 27704-27704
锗
是
元素物质
的
subclass
(
subclass
Arsenic
ElementalSubstance
)
Mid-level-ontology.kif 27720-27720
砷
是
元素物质
的
subclass
(
subclass
Selenium
ElementalSubstance
)
Mid-level-ontology.kif 27736-27736
硒
是
元素物质
的
subclass
(
subclass
Bromine
ElementalSubstance
)
Mid-level-ontology.kif 27751-27751
溴
是
元素物质
的
subclass
(
subclass
Krypton
ElementalSubstance
)
Mid-level-ontology.kif 27767-27767
氪
是
元素物质
的
subclass
(
subclass
Rubidium
ElementalSubstance
)
Mid-level-ontology.kif 27787-27787
铷
是
元素物质
的
subclass
(
subclass
Strontium
ElementalSubstance
)
Mid-level-ontology.kif 27804-27804
锶
是
元素物质
的
subclass
(
subclass
Yttrium
ElementalSubstance
)
Mid-level-ontology.kif 27821-27821
钇
是
元素物质
的
subclass
(
subclass
Zirconium
ElementalSubstance
)
Mid-level-ontology.kif 27838-27838
锆
是
元素物质
的
subclass
(
subclass
Niobium
ElementalSubstance
)
Mid-level-ontology.kif 27854-27854
铌
是
元素物质
的
subclass
(
subclass
Molybdenum
ElementalSubstance
)
Mid-level-ontology.kif 27871-27871
钼
是
元素物质
的
subclass
(
subclass
Technetium
ElementalSubstance
)
Mid-level-ontology.kif 27894-27894
锝
是
元素物质
的
subclass
(
subclass
Ruthenium
ElementalSubstance
)
Mid-level-ontology.kif 27913-27913
钌
是
元素物质
的
subclass
(
subclass
Rhodium
ElementalSubstance
)
Mid-level-ontology.kif 27929-27929
铑
是
元素物质
的
subclass
(
subclass
Palladium
ElementalSubstance
)
Mid-level-ontology.kif 27944-27944
钯
是
元素物质
的
subclass
(
subclass
Silver
ElementalSubstance
)
Mid-level-ontology.kif 27960-27960
银
是
元素物质
的
subclass
(
subclass
Cadmium
ElementalSubstance
)
Mid-level-ontology.kif 27975-27975
镉
是
元素物质
的
subclass
(
subclass
Indium
ElementalSubstance
)
Mid-level-ontology.kif 27991-27991
铟
是
元素物质
的
subclass
(
subclass
Tin
ElementalSubstance
)
Mid-level-ontology.kif 28007-28007
锡
是
元素物质
的
subclass
(
subclass
Antimony
ElementalSubstance
)
Mid-level-ontology.kif 28023-28023
锑
是
元素物质
的
subclass
(
subclass
Tellurium
ElementalSubstance
)
Mid-level-ontology.kif 28040-28040
碲
是
元素物质
的
subclass
(
subclass
Iodine
ElementalSubstance
)
Mid-level-ontology.kif 28056-28056
碘
是
元素物质
的
subclass
(
subclass
Xenon
ElementalSubstance
)
Mid-level-ontology.kif 28074-28074
氙
是
元素物质
的
subclass
(
subclass
Caesium
ElementalSubstance
)
Mid-level-ontology.kif 28091-28091
铯
是
元素物质
的
subclass
(
subclass
Barium
ElementalSubstance
)
Mid-level-ontology.kif 28117-28117
钡
是
元素物质
的
subclass
(
subclass
Lanthanum
ElementalSubstance
)
Mid-level-ontology.kif 28133-28133
镧
是
元素物质
的
subclass
(
subclass
Cerium
ElementalSubstance
)
Mid-level-ontology.kif 28153-28153
铈
是
元素物质
的
subclass
(
subclass
Praseodymium
ElementalSubstance
)
Mid-level-ontology.kif 28170-28170
镨
是
元素物质
的
subclass
(
subclass
Neodymium
ElementalSubstance
)
Mid-level-ontology.kif 28186-28186
钕
是
元素物质
的
subclass
(
subclass
Promethium
ElementalSubstance
)
Mid-level-ontology.kif 28212-28212
钷
是
元素物质
的
subclass
(
subclass
Samarium
ElementalSubstance
)
Mid-level-ontology.kif 28232-28232
钐
是
元素物质
的
subclass
(
subclass
Europium
ElementalSubstance
)
Mid-level-ontology.kif 28253-28253
铕
是
元素物质
的
subclass
(
subclass
Gadolinium
ElementalSubstance
)
Mid-level-ontology.kif 28269-28269
钆
是
元素物质
的
subclass
(
subclass
Terbium
ElementalSubstance
)
Mid-level-ontology.kif 28286-28286
铽
是
元素物质
的
subclass
(
subclass
Dysprosium
ElementalSubstance
)
Mid-level-ontology.kif 28301-28301
镝
是
元素物质
的
subclass
(
subclass
Holmium
ElementalSubstance
)
Mid-level-ontology.kif 28322-28322
钬
是
元素物质
的
subclass
(
subclass
Erbium
ElementalSubstance
)
Mid-level-ontology.kif 28347-28347
铒
是
元素物质
的
subclass
(
subclass
Thulium
ElementalSubstance
)
Mid-level-ontology.kif 28364-28364
铥
是
元素物质
的
subclass
(
subclass
Ytterbium
ElementalSubstance
)
Mid-level-ontology.kif 28380-28380
镱
是
元素物质
的
subclass
(
subclass
Lutetium
ElementalSubstance
)
Mid-level-ontology.kif 28395-28395
镏
是
元素物质
的
subclass
(
subclass
Hafnium
ElementalSubstance
)
Mid-level-ontology.kif 28417-28417
铪
是
元素物质
的
subclass
(
subclass
Tantalum
ElementalSubstance
)
Mid-level-ontology.kif 28433-28433
钽
是
元素物质
的
subclass
(
subclass
Tungsten
ElementalSubstance
)
Mid-level-ontology.kif 28450-28450
钨
是
元素物质
的
subclass
(
subclass
Rhenium
ElementalSubstance
)
Mid-level-ontology.kif 28466-28466
铼
是
元素物质
的
subclass
(
subclass
Osmium
ElementalSubstance
)
Mid-level-ontology.kif 28481-28481
锇
是
元素物质
的
subclass
(
subclass
Iridium
ElementalSubstance
)
Mid-level-ontology.kif 28495-28495
铱
是
元素物质
的
subclass
(
subclass
Platinum
ElementalSubstance
)
Mid-level-ontology.kif 28519-28519
铂
是
元素物质
的
subclass
(
subclass
Gold
ElementalSubstance
)
Mid-level-ontology.kif 28545-28545
金
是
元素物质
的
subclass
(
subclass
Mercury
ElementalSubstance
)
Mid-level-ontology.kif 28566-28566
汞
是
元素物质
的
subclass
(
subclass
Thallium
ElementalSubstance
)
Mid-level-ontology.kif 28583-28583
铊
是
元素物质
的
subclass
(
subclass
Lead
ElementalSubstance
)
Mid-level-ontology.kif 28605-28605
铅
是
元素物质
的
subclass
(
subclass
Bismuth
ElementalSubstance
)
Mid-level-ontology.kif 28621-28621
铋
是
元素物质
的
subclass
(
subclass
Polonium
ElementalSubstance
)
Mid-level-ontology.kif 28639-28639
钋
是
元素物质
的
subclass
(
subclass
Astatine
ElementalSubstance
)
Mid-level-ontology.kif 28656-28656
砹
是
元素物质
的
subclass
(
subclass
Radon
ElementalSubstance
)
Mid-level-ontology.kif 28673-28673
氡
是
元素物质
的
subclass
(
subclass
Francium
ElementalSubstance
)
Mid-level-ontology.kif 28691-28691
钫
是
元素物质
的
subclass
(
subclass
Radium
ElementalSubstance
)
Mid-level-ontology.kif 28707-28707
镭
是
元素物质
的
subclass
(
subclass
Actinium
ElementalSubstance
)
Mid-level-ontology.kif 28723-28723
锕
是
元素物质
的
subclass
(
subclass
Thorium
ElementalSubstance
)
Mid-level-ontology.kif 28741-28741
钍
是
元素物质
的
subclass
(
subclass
Protactinium
ElementalSubstance
)
Mid-level-ontology.kif 28758-28758
镤
是
元素物质
的
subclass
(
subclass
Uranium
ElementalSubstance
)
Mid-level-ontology.kif 28775-28775
铀
是
元素物质
的
subclass
(
subclass
Neptunium
ElementalSubstance
)
Mid-level-ontology.kif 28791-28791
镎
是
元素物质
的
subclass
(
subclass
Plutonium
ElementalSubstance
)
Mid-level-ontology.kif 28809-28809
钚
是
元素物质
的
subclass
(
subclass
Americium
ElementalSubstance
)
Mid-level-ontology.kif 28829-28829
銤
是
元素物质
的
subclass
(
subclass
Curium
ElementalSubstance
)
Mid-level-ontology.kif 28846-28846
锔
是
元素物质
的
subclass
(
subclass
Berkelium
ElementalSubstance
)
Mid-level-ontology.kif 28863-28863
锫
是
元素物质
的
subclass
(
subclass
Californium
ElementalSubstance
)
Mid-level-ontology.kif 28880-28880
锎
是
元素物质
的
subclass
(
subclass
Einsteinium
ElementalSubstance
)
Mid-level-ontology.kif 28898-28898
锿
是
元素物质
的
subclass
(
subclass
Fermium
ElementalSubstance
)
Mid-level-ontology.kif 28918-28918
镄
是
元素物质
的
subclass
(
subclass
Mendelevium
ElementalSubstance
)
Mid-level-ontology.kif 28934-28934
钔
是
元素物质
的
subclass
(
subclass
Nobelium
ElementalSubstance
)
Mid-level-ontology.kif 28952-28952
锘
是
元素物质
的
subclass
(
subclass
Lawrencium
ElementalSubstance
)
Mid-level-ontology.kif 28969-28969
铹
是
元素物质
的
subclass
(
subclass
Unnilquadium
ElementalSubstance
)
Mid-level-ontology.kif 28991-28991
Unnilquadium
是
元素物质
的
subclass
(
subclass
Unnilpentium
ElementalSubstance
)
Mid-level-ontology.kif 29008-29008
Unnilpentium
是
元素物质
的
subclass
(
subclass
Unnilhexium
ElementalSubstance
)
Mid-level-ontology.kif 29023-29023
Unnilhexium
是
元素物质
的
subclass
(
subclass
Unnilseptium
ElementalSubstance
)
Mid-level-ontology.kif 29038-29038
Unnilseptium
是
元素物质
的
subclass
(
subclass
Unniloctium
ElementalSubstance
)
Mid-level-ontology.kif 29053-29053
Unniloctium
是
元素物质
的
subclass
(
subclass
Meitnerium
ElementalSubstance
)
Mid-level-ontology.kif 29066-29066
䥑
是
元素物质
的
subclass
(
subclass
Unnildecium
ElementalSubstance
)
Mid-level-ontology.kif 29083-29083
Unnildecium
是
元素物质
的
subclass
(
subclass
Metal
ElementalSubstance
)
Merge.kif 1090-1090
金属
是
元素物质
的
subclass
(
subclass
Atom
ElementalSubstance
)
Merge.kif 1097-1097
原子
是
元素物质
的
subclass
(
subclass
SubatomicParticle
ElementalSubstance
)
Merge.kif 1122-1122
次原子粒子
是
元素物质
的
subclass
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